Difference between revisions of "Main Page"

From wiki.visual-prolog.com

(Introduction for the test period)
Line 1: Line 1:
<big>'''MediaWiki has been successfully installed.'''</big>
+
== Visual Prolog Wiki ==
  
Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.
+
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>
  
== Getting started ==
+
The result will look like this:
  
* [http://www.mediawiki.org/wiki/Help:Configuration_settings Configuration settings list]
+
<vip>predicates
* [http://www.mediawiki.org/wiki/Help:FAQ MediaWiki FAQ]
+
    isMemeber : (Elem Value, Elem* List) determ.
* [http://mail.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]
+
    %@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 01: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

Fundamental Prolog Part 1

Media Wiki Getting started

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