Difference between revisions of "Main Page"
From wiki.visual-prolog.com
| Line 4: | Line 4: | ||
The Wiki is based on MediaWiki software (IIS+PHP+MySQL). | The Wiki is based on MediaWiki software (IIS+PHP+MySQL). | ||
=== Visual Prolog Token Coloring === | |||
The Wiki has a special Visual Prolog extension. If you write: | The Wiki has a special Visual Prolog extension. If you write: | ||
| Line 12: | Line 14: | ||
<nowiki><vip></nowiki>predicates | <nowiki><vip></nowiki>predicates | ||
isMember : (Elem Value, Elem* List) determ. | |||
%@short Succeds is #Value is member of #List. | %@short Succeds is #Value is member of #List. | ||
%@end | %@end | ||
| Line 22: | Line 24: | ||
<vip>predicates | <vip>predicates | ||
isMember : (Elem Value, Elem* List) determ. | |||
%@short Succeds is #Value is member of #List. | %@short Succeds is #Value is member of #List. | ||
%@end | %@end | ||
Revision as of 00:07, 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).
Visual Prolog Token Coloring
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
isMember : (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 isMember : (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.