Difference between revisions of "Main Page"
From wiki.visual-prolog.com
(Introduction for the test period) |
|||
| Line 1: | Line 1: | ||
== Visual Prolog Wiki == | |||
This is the Visual Prolog Wiki. | |||
Currently, this is only for test puposes. The underlying database is not yet backed-up. | |||
The Wiki is based on MediaWiki software (IIS+PHP+MySQL). | |||
The Wiki has a special Visual Prolog extension. If you write: | |||
<nowiki><vip></nowiki>some Visual Prolog code</vip> | |||
The code will be token colered according to Visual Prolog rules (more or less). For example: | |||
<nowiki><vip></nowiki>predicates | |||
isMemeber : (Elem Value, Elem* List) determ. | |||
%@short Succeds is #Value is member of #List. | |||
%@end | |||
clauses | |||
isMember(V, [V|_L]) :- !. | |||
isMember(V, [_X|L]) :- isMember(V, L).</vip> | |||
The result will look like this: | |||
* | <vip>predicates | ||
isMemeber : (Elem Value, Elem* List) determ. | |||
%@short Succeds is #Value is member of #List. | |||
%@end | |||
clauses | |||
isMember(V, [V|_L]) :- !. | |||
isMember(V, [_X|L]) :- isMember(V, L).</vip> | |||
== Tutorials == | == Tutorials == | ||
[[Fundamental Prolog Part 1]] | [[Fundamental Prolog Part 1]] | ||
== Media Wiki Getting started == | |||
Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software. | |||
* [http://www.mediawiki.org/wiki/Help:Configuration_settings Configuration settings list] | |||
* [http://www.mediawiki.org/wiki/Help:FAQ MediaWiki FAQ] | |||
* [http://mail.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list] | |||
Revision as of 00:01, 15 July 2007
Visual Prolog Wiki
This is the Visual Prolog Wiki.
Currently, this is only for test puposes. The underlying database is not yet backed-up.
The Wiki is based on MediaWiki software (IIS+PHP+MySQL).
The Wiki has a special Visual Prolog extension. If you write:
<vip>some Visual Prolog code</vip>
The code will be token colered according to Visual Prolog rules (more or less). For example:
<vip>predicates
isMemeber : (Elem Value, Elem* List) determ.
%@short Succeds is #Value is member of #List.
%@end
clauses
isMember(V, [V|_L]) :- !.
isMember(V, [_X|L]) :- isMember(V, L).</vip>
The result will look like this:
predicates isMemeber : (Elem Value, Elem* List) determ. %@short Succeds is #Value is member of #List. %@end clauses isMember(V, [V|_L]) :- !. isMember(V, [_X|L]) :- isMember(V, L).
Tutorials
Media Wiki Getting started
Consult the User's Guide for information on using the wiki software.