|
2. Sample Prolog Programs ... 2.7 Prolog lists ... In this chapter we provide several sample Prolog programs. The programs are given in a progression from fairly simple programs to more complex programs. The key goals of the presentation are to show several important methods of knowledge representation in Prolog and...
|
www.csupomona.edu/~jrfisher/www/prolog_tutorial/2.html
www.csupomona.edu/~jrfisher/www/prolog_tutorial/2.html
|
|
|
|
Prolog code for benchmarking, research, education, and fun ... lang/prolog/code/ bench/ Prolog Benchmarking Suites debug/ Prolog programs for debugging Prolog programs. demo/ Demonstration packages from various Prolog implementations eval/ Prolog code related to partial evaluation, metacircular evaluation, compilation,
|
www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/pro...
www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/code/0.html
|
|
|
Version: 1.0 (12-APR-87) Requires: A.D.A. PD Prolog version 1.90 Copying: Public Domain CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Sergio Vaghi ESTEC P.O. Box 299 2200 AG Noordwijk (ZH) The Netherlands Tel: +31 1719-83453 Keywords: ADA PD Prolog, Authors!Vaghi, Computer Algebra, Math, Prolog!Code, Prolog...
|
www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/pro...
www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/code/math/algebra/0.html
|
|
It may be necessary to change the definitions of not, member, and dynamic for various versions of Prolog. ... Simple List Programs ... Depth-First Search...
|
www.cs.ccu.edu.tw/~dan/prologProgs.html
www.cs.ccu.edu.tw/~dan/prologProgs.html
|
|
A collection of Prolog code and notes on logic programming ... This Prolog code implements Hopcroft-Ullman Algorithm 2.6 to minimize a Finite Automaton. Given a set of states, the initial and the final state(s), the alphabet and the transition function, the code returns the list of equivalent states.
|
okmij.org/ftp/Prolog/
okmij.org/ftp/Prolog/
|
|
CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Harvey Abramson and Veronica Dahl Keywords: Authors!Abramson, Authors!Dahl, Books!Prolog, DCG, DCTG, Definite Clause Grammar, Definite Clause Translation Grammar, Prolog!Code, Prolog!Syntax, Syntax References: Harvey Abramson and Veronica Dahl,
|
www-2.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/p...
www-2.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/code/syntax/dctg/0.html
|
|
switch to SWI-Prolog (freely available on http://www.swi-prolog.org/); SICSTUS-Prolog was not free software ... The SWI-Prolog executable, if not specified explicitly to './configure', is supposed to be called swipl or pl. If not found on the path, an error message will display. ... Is embedded HTML-code possible?
|
prologdoc.sourceforge.net/
prologdoc.sourceforge.net/
|
|
innovative software development specializing in Java and Prolog based Internet programming and Intelligent Mobile Agent building tools ... Free Prolog with interoperable pure Java and C emulators...
|
www.binnetcorp.com/OpenCode/free_prolog.html
www.binnetcorp.com/OpenCode/free_prolog.html
|
|
The following code is not described in the text, but are exercises: ... idsearch2.pl iterative deepening search, based on Prolog doing the searching. ... csp_t1.pl simple test code for any of the constraint satisfaction code.
|
www.cs.ubc.ca/spider/poole/ci/ci_code.html
www.cs.ubc.ca/spider/poole/ci/ci_code.html
|
|
