|
Free tutorials and documentation on Prolog and logic programming ... Free Online Prolog Tutorials, Logic Programming Tutorials ... This is a Prolog tutorial from Bucknell University. It teaches Prolog from ground up, using the free SWI Prolog compiler (see the Free Prolog Compilers and Interpreters page to obtain it).
|
www.thefreecountry.com/documentation/onlineprolog.shtml
www.thefreecountry.com/documentation/onlineprolog.shtml
|
|
|
|
A package for SWI-Prolog that provides a parser for mapping RDF, XML and SGML based data as Prolog term ... SWI-Prolog offers a comprehensive Free Software Prolog environment, licensed under the Lesser GNU Public License. Together with its graphics toolkit XPCE, its development started in 1987 and has been driven by the...
|
www.swi-prolog.org/
www.swi-prolog.org/
|
|
|
Visual Prolog 7.0; A free Personal Edition is available of Visual Prolog is now available for non-commercial usage only. ... Open Prolog; Open Prolog is an Apple Macintosh implementation of Prolog. Open Prolog runs on Apple Macintosh machines running Mac OS 7.5.5 and later, and runs in the Classic environment of Mac OS X.
|
www.freeprogrammingresources.com/prolog.html
www.freeprogrammingresources.com/prolog.html
|
|
Free Prolog Books links to online and downloadable programming books for the Prolog programming language. ... Logic, Programming and Prolog (2ed; Free Prolog book in pdf form. You will have to enter your name and an e-mail address to download the book.
|
www.freeprogrammingresources.com/prologbook.html
www.freeprogrammingresources.com/prologbook.html
|
|
GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU ... GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz...
|
pauillac.inria.fr/~diaz/gnu-prolog/
pauillac.inria.fr/~diaz/gnu-prolog/
|
|
Prolog is a rich collection of data structures in the language and human reasoning, and a powerful notation for encoding end-user applications. It has its logical and declarative aspects, ... Prolog Resource Guide; Free Prolog implementations and FAQ from CMU AI repository. ... Prolog; Free Prolog implementations.
|
www.engin.umd.umich.edu/CIS/course.des/cis400/prolog/pr...
www.engin.umd.umich.edu/CIS/course.des/cis400/prolog/prolog.html
|
|
Free/Shareware Prolog implementations ... beta_pl/ Beta Prolog: Fast and portable Prolog emulator and compiler. bin_pl/ BinProlog: Fast, small, and portable Prolog compiler. boiz_pl/ Prolog interpreters from Boizumault's book eclipse/ ECLiPSe: ECRC Logic Programming System elp/ eLP: Ergo Lambda Prolog eslpdpro/ ESL Prolog-2...
|
www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/pro...
www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.html
|
|
The following list of free Prolog and logic programming implementations excludes those listed in the comp.lang.lisp and comp.lang.scheme FAQs (i.e., Prolog interpreters written in Lisp and Scheme).
|
www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part...
www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part2/faq-doc-2.html
|
|
Free Prolog with interoperable pure Java and C emulators ... Get the full sources of the original free BinProlog version 1.99 or its new pure Java port which runs at 1,300,000 inferences/sec.This tiny 1993 Prolog compiler compiles itself in less than 10 seconds, with either its C or Java based emulator.
|
www.binnetcorp.com/OpenCode/free_prolog.html
www.binnetcorp.com/OpenCode/free_prolog.html
|
|
