Prolog

BinNet Corp. - C/C++ and Java based Prolog Compilers and Prolog based Internet Programming tools.
www.binnetcorp.com

Cetus Links: Prolog - This collection of non-commercial links treats Prolog within the context of object- and component-orientation.
www.cetus-links.org/oo_prolog.html

clp(FD) - This constraint logic programming language over Finite Domains (clp(FD)) is based on the wamcc Prolog compiler.
http://tylerschnaidt.com/blocked/nph-index.pl/010110A/ftp/ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd/

Course on Prolog - A concise, example-based introduction to Prolog for people from the humanities. Uses the freely-available Prolog+CG as the example implementation.
www.huminf.aau.dk/cg/Module_II/10000.html

FAQ: Prolog Implementations - For Prolog.
www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part2/faq.html

INAP2001 - 14th International Conference of Applications of Prolog. University of Tokyo, Japan, October 20 - 22, 2001.
www.ifcomputer.co.jp/inap/inap2001/home_en.html

An Introduction to PROLOG - Prolog tutorials by James Power. Revised Alex Monaghan.
www.cs.nuim.ie/~jpower/Courses/PROLOG/

An introduction to Prolog - A short introduction to Prolog by Michel Loiseleur and Nicolas Vigier.
invaders.mars-attacks.org/~boklm/prolog/

Is the ISO Prolog standard taken seriously - article by Roberto Bagnara.
www.cs.unipr.it/~bagnara/Papers/Abstracts/ALPN99a

Logic Programming Associates - This software house supplies WIN-PROLOG, MacProlog32 and Prolog++.
www.lpa.co.uk/

Logic Programming 3D Site - 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.
www.cplire.ru/Lab144/space/prolog.html

OOPWeb - Prolog Directory - Prolog programming tutorial and online book.
www.oopweb.com/Prolog/Files/Prolog.html

PC AI: The Prolog Programming Language - Explanations, links.
www.pcai.com/

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.
www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html

ProFIT: Gregor Erbach - Research scientist, studies: grammar formalisms, parsing algorithms, grammar checking, cross-language text retrieval. ProFIT author.
www.coli.uni-saarland.de/~erbach/

Prolog :- Tutorial - From basics to advanced topics tutorial by J.R.Fisher.
www.intranet.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html

Prolog for Artificial Intelligence - Open Source AI projects in Prolog.
mind.sourceforge.net/prolog.html

Prolog for Beginners - A comparison of several Prolog systems from a beginners perspective
www.fraber.de/university/prolog/

Prolog Help/References - Reference for beginner logic programmers in Prolog.
www.geocities.com/saviranid/Content/Archive/prolog.html

Prolog 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.
utenti.lycos.it/parsers/

Prolog Resource Guide - The complete FAQs from news:comp.lang.prolog
www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/top.html

Prolog Wikibook - A wiki based book on Prolog.
en.wikibooks.org/wiki/Programming: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.
citeseer.ist.psu.edu/122169.html

Simple Text Parser - An implementation of a parser in LPA Prolog as well as a report about this parser.
dapissarenko.com/en/interests/simpleTextParser.html

Simply Logical - Intelligent Reasoning by Example.
www.cs.bris.ac.uk/~flach/SimplyLogical.html

Techref - Prolog - The Techref page regarding Prolog. Word Prolog meanings. Links.
techref.massmind.org/techref/language/prolog/index.htm

Very Basic Natural Language Processing with LPA PROLOG - This website shows how simple natural language processing can be implemented in LPA Prolog.
dapissarenko.com/en/interests/basicnlp.html

Warren's Abstract Machine: A tutorial reconstruction - 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.
www.vanx.org/archive/wam/wam.html