  |
PiLLoW - http://www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html
Programming in Logic Languages on the Web (PiLLoW) is a public-domain library for developing Web applications using (constraint) logic programming. It constitutes part of the Ciao Prolog development system. |
| |
PC AI: The Prolog Programming Language - http://www.pcai.com/
Explanations, links. |
| |
Logic Programming Associates - http://www.lpa.co.uk/
This software house supplies WIN-PROLOG, MacProlog32 and Prolog++. |
| |
INAP2001 - http://www.ifcomputer.co.jp/inap/inap2001/home_en.html
14th International Conference of Applications of Prolog. University of Tokyo, Japan, October 20 - 22, 2001. |
| |
Warren's Abstract Machine: A tutorial reconstruction - http://www.vanx.org/archive/wam/wam.html
Online book by Hassan Ait-Kaci. The WAM is an abstract machine tailored to Prolog. It can be realised efficiently on a wide range of hardware, and serves as a target for portable Prolog compilers. |
| |
Prolog for Artificial Intelligence - http://mind.sourceforge.net/prolog.html
Open Source AI projects in Prolog. |
| |
Prolog for Beginners - http://www.fraber.de/university/prolog/
A comparison of several Prolog systems from a beginners perspective |
| |
Early History of Prolog - http://www.lif-sud.univ-mrs.fr/~colmer/texte.html#early
Draft of a paper in History of Programming Languages, edited by Thomas J. Bergin and Richard G. Gibson, ACM. Abstract and PDF. |
| |
ResearchIndex: Complete Logic Systems, Inc, September 1987. 80. D.H.D. Warren - http://citeseer.ist.psu.edu/122169.html
Prolog Instruction Set, Technical Note, SRI International Artificial Intelligence Center, D.S. Warren, S. Dietrich, F. Pereira. The SB Prolog System, SUNY at Stony Brook. Several references for this Prolog. |
| |
Hello, World program - http://www2.latech.edu/~acm/helloworld/prolog.html
For Prolog. |
| |
Prolog Help/References - http://www.geocities.com/saviranid/Content/Archive/prolog.html
Reference for beginner logic programmers in Prolog. |
| |
An introduction to Prolog - http://invaders.mars-attacks.org/~boklm/prolog/
A short introduction to Prolog by Michel Loiseleur and Nicolas Vigier. |
 |
Techref - Prolog - http://techref.massmind.org/techref/language/prolog/index.htm
The Techref page regarding Prolog. Word Prolog meanings. Links. |
| |
clp(FD) - ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd/
This constraint logic programming language over Finite Domains (clp(FD)) is based on the wamcc Prolog compiler. |
| |
Prolog Parsers - http://utenti.lycos.it/parsers/
A study of the efficiency of various parsing techniches in Prolog, e.g. top-down, bottom-up, oracles, prediction, left-corner, chart. Also a comparison with Lisp. Examples in Prolog and Lisp. |