Difference between revisions of "Main Page"

From wiki.visual-prolog.com

(Visual Prolog Wiki)
(Visual Prolog Wiki)
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
     isMemeber : (Elem Value, Elem* List) determ.
+
     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
     isMemeber : (Elem Value, Elem* List) determ.
+
     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 01: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

Fundamental Prolog Part 1

Media Wiki Getting started

Consult the User's Guide for information on using the wiki software.