Directory of Prolog Resources

Home > Computers > Programming > Languages > Prolog

Prolog is a logic based artificial intelligence language. It differs from Lisp in terms of the execution control which is based on unification and first order logic.

Subcategories

• Implementations
• Poplog

Resources in This Category

• An introduction to Prolog

  http://boklm.eu/prolog/
  A short introduction to Prolog by Michel Loiseleur and Nicolas Vigier.

• 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.

• Course on Prolog

  http://cg.huminf.aau.dk/Module_II/10000.html
  A concise, example-based introduction to Prolog for people from the humanities. Uses the freely available Prolog+CG to teach programming within a course in knowledge representation using conceptual graphs.

• Early History of Prolog

  http://www.lif-sud.univ-mrs.fr/~colmer/texte.html
  Draft of a paper in History of Programming Languages, edited by Thomas J. Bergin and Richard G. Gibson, ACM. Abstract and PDF.

• FAQ: Prolog Implementations

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

• Hello, World program

  http://www2.latech.edu/~acm/helloworld/prolog.html
  For Prolog.

• INAP2001

  http://books.google.nl/books?id=SFJuq1uRqmMC&printsec=frontcover#v=onepage&q&f=false
  14th International Conference of Applications of Prolog. University of Tokyo, Japan, October 20 - 22, 2001.

• Is the ISO Prolog standard taken seriously

  http://www.cs.unipr.it/~bagnara/Papers/Abstracts/ALPN99a
  article by Roberto Bagnara.

• JIPL: Java Interface for Prolog

  http://www.probp.com/manual/node175.html
  Interface between Java and Prolog through JNI and reflection.

• 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.

• Logic Programming Associates

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

• OO Prolog

  http://archive.adaic.com/ase/ase02_01/bookcase/ref_sh/cetusweb/oo_prolog.html
  This collection of non-commercial links treats Prolog within the context of object- and component-orientation.

• OOPWeb - Prolog Directory

  http://www.oopweb.com/Prolog/Files/Prolog.html
  Prolog programming tutorial and online book.

• PC AI: The Prolog Programming Language

  http://www.pcai.com/
  Explanations, links.

• 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.

• Prolog :- Tutorial

  http://www.cpp.edu/~jrfisher/www/prolog_tutorial/contents.html
  From basics to advanced topics tutorial by J.R.Fisher.

• 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

• 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

• Prolog small

  http://www.allisons.org/ll/Logic/Prolog/
  Includes an introduction to Prolog, unification, the back-tracking search process, the source code of a Prolog interpreter, example Prolog programs, the logic of Sir Bedevere (Monty Python), and a Java applet that runs Prolog.

• Prolog Wikibook

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

• 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.

• Warren's Abstract Machine: A tutorial reconstruction

  http://www.cvc.uab.es/shared/teach/a25002/wambook.pdf
  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.

Related Categories

• Home > Computers > Programming > Languages > Compiled
• Home > Computers > Programming > Languages > Constraint
• Home > Computers > Programming > Languages > Garbage Collected
• Home > Computers > Programming > Languages > Logic-based > Constraint Logic
• Home > Computers > Programming > Languages > Open Source
• Home > Computers > Programming > Languages > Reflective

Other Languages

• Russian
• German
• Czech
• Japanese
• French

 

Home > Computers > Programming > Languages > Prolog

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us