The Techref page regarding Prolog. Word Prolog meanings. Links. |
An introduction to Prolog
A short introduction to Prolog by Loiseleur Michel and Vigier Nicolas. |
Cetus Links: Prolog
This collection of non-commercial links treats Prolog within the context of object- and component-orientation. |
Hello, World program
For Prolog. |
INAP2001
14th International Conference of Applications of Prolog. University of Tokyo, Japan, October 20 - 22, 2001. |
Is the ISO Prolog standard taken seriously
article by Roberto Bagnara. |
JIPL: Java Interface for Prolog
Interface between Java and Prolog through JNI and reflection. |
K-Prolog
This is the English Online Manual for this Japanese implementation of Prolog for Solaris, HP-UX and 32-bit Windows environments. |
Logic Programming Associates
This software house supplies WIN-PROLOG, MacProlog32 and Prolog++. |
Logtalk
An object-oriented extension to the Prolog programming language. It integrates logic programming with object-oriented and event-driven programming. Compatible with most Prolog compilers. [Open source] |
OOPWeb - Prolog Directory
Prolog programming tutorial and online book. |
PC AI: The Prolog Programming Language
Explanations, links. |
PiLLoW
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. |
ProFIT
Prolog with Features Inheritance, and Templates: Prolog extension with sorted feature structures (including multi-dimensional inheritance), finite domains, feature search, cyclic terms, templates. |
ProFIT: Gregor Erbach
Research scientist, studies: grammar formalisms, parsing algorithms, grammar checking, cross-language text retrieval. ProFIT author. |
Prolog Comparison
Comparison of the most popular Prolog systems from a beginners point of view. |
Prolog Help/References
Reference for beginner logic programmers in Prolog. |
ResearchIndex: Complete Logic Systems, Inc, September 1987. 80. D.H.D. Warren
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. |
Simply Logical
Intelligent Reasoning by Example. |
