- Prolog for Beginners - http://www.fraber.de/university/prolog/
A comparison of several Prolog systems from a beginners perspective
- 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.
- BinNet Corp. - http://www.binnetcorp.com
C/C++ and Java based Prolog Compilers and Prolog based Internet Programming tools.
- ProFIT: Gregor Erbach - http://www.coli.uni-sb.de/~erbach/
Research scientist, studies: grammar formalisms, parsing algorithms, grammar checking, cross-language text retrieval. ProFIT author.
- Cetus Links: Prolog - http://www.cetus-links.org/oo_prolog.html
This collection of non-commercial links treats Prolog within the context of object- and component-orientation.
- Simply Logical - http://www.cs.bris.ac.uk/~flach/SimplyLogical.html
Intelligent Reasoning by Example.
- Techref - Prolog - http://techref.massmind.org/techref/language/prolog/index.htm
The Techref page regarding Prolog. Word Prolog meanings. Links.
- Prolog Resource Guide - http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/top.html
The complete FAQs from news:comp.lang.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.
- Logic Programming 3D Site - http://www.cplire.ru/Lab144/space/prolog.html
The main idea of this Site is 3D (VRML) representation of the World Wide Web. The Site describes the area of logic programming and Prolog. All the information was collected by Actor Prolog agents.
- 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.
- 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 :- Tutorial - http://www.intranet.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html
From basics to advanced topics tutorial by J.R.Fisher.
- An Introduction to PROLOG - http://www.compapp.dcu.ie/~alex/LOGIC/start.html
Prolog tutorials by James Power. Revised Alex Monaghan.
- Course on Prolog - http://www.huminf.aau.dk/cg/Module_II/10000.html
A concise, example-based introduction to Prolog for people from the humanities. Uses the freely-available Prolog+CG as the example implementation.
- Simple Text Parser - http://dapissarenko.com/en/interests/simpleTextParser.html
An implementation of a parser in LPA Prolog as well as a report about this parser.
- 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.
- 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.
- 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.
- the Prolog Wikibook - http://en.wikibooks.org/wiki/Programming:Prolog
A wiki based based book on Prolog. Part of the Wikibooks project.
|
