GNU Prolog: Difference between revisions
Content added Content deleted
(stub?) |
m (removed the link to the site which seems "dead" or so) |
||
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 |
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] |
Revision as of 14:40, 11 February 2009
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)