GNU Prolog: Difference between revisions
Content added Content deleted
m (removed the link to the site which seems "dead" or so) |
m (Impl of Prolog) |
||
Line 1: | Line 1: | ||
{{stub}} |
{{stub}} |
||
GNU Prolog is a free Prolog compiler with constraint solving over finite domains <nowiki>[...]</nowiki> The Prolog part conforms to the ''ISO standard for Prolog'' with many extensions very useful in practice (global variables, OS interface, sockets,...). (''Text excerpt from the site'') |
{{implementation|Prolog}}GNU Prolog is a free Prolog compiler with constraint solving over finite domains <nowiki>[...]</nowiki> The Prolog part conforms to the ''ISO standard for Prolog'' with many extensions very useful in practice (global variables, OS interface, sockets,...). (''Text excerpt from the site'') |
||
[http://www.gprolog.org/ GNU Prolog site] |
[http://www.gprolog.org/ GNU Prolog site] |
Latest revision as of 16:28, 11 February 2009
GNU Prolog is an implementation of Prolog.
Other implementations of Prolog.
GNU Prolog is a free Prolog compiler with constraint solving over finite domains [...] The Prolog part conforms to the ISO standard for Prolog with many extensions very useful in practice (global variables, OS interface, sockets,...). (Text excerpt from the site)