|
|
| Line 1: |
Line 1: |
| The Wiki is based on MediaWiki software (IIS+PHP+MySQL).
| | Welcome to the [http://www.visual-prolog.com Visual Prolog] wiki. |
|
| |
|
| === Visual Prolog Token Coloring ===
| | To contribute to this wiki you must register yourself, and have a validated email address. |
|
| |
|
| The Wiki has a special Visual Prolog extension. If you write:
| | You are encouraged to provide your real life name as user name. |
|
| |
|
| <nowiki><vip></nowiki>some Visual Prolog code</vip>
| | ===Tutorials=== |
| | |
| The code will be token colered according to Visual Prolog rules (more or less). For example:
| |
| | |
| <nowiki><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></nowiki>
| |
| | |
| The result will look like this:
| |
| | |
| <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>
| |
| | |
| | |
| === Tutorials === | |
|
| |
|
| [[:Category:Tutorials|Tutorials]] | | [[:Category:Tutorials|Tutorials]] |
|
| |
| == 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]
| |
Welcome to the Visual Prolog wiki.
To contribute to this wiki you must register yourself, and have a validated email address.
You are encouraged to provide your real life name as user name.
Tutorials
Tutorials
