Web Directory

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

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

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

» FAQ: Prolog Implementations
   Information about Prolog Implementations.
   http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/part2/faq.html

» Hello, World program
   For Prolog.
   http://www2.latech.edu/~acm/helloworld/prolog.html

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

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

» 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.
   http://www.cplire.ru/Lab144/space/prolog.html

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

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

» PC AI: The Prolog Programming Language
   Explanations, links.
   http://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.
   http://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.
   http://www.coli.uni-saarland.de/~erbach/

» 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.
   http://utenti.multimania.it/parsers/

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

» Prolog Wikibook
   A wiki based book on Prolog.
   http://en.wikibooks.org/wiki/Programming:Prolog

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

» Prolog for Beginners
   A comparison of several Prolog systems from a beginners perspective
   http://www.fraber.de/university/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.
   http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.5463

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

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

» clp(FD)
   This constraint logic programming language over Finite Domains (clp(FD)) is based on the wamcc Prolog compiler.
   ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd/