Searchalot

Internet Directory - Top : Computers : Programming : Languages : Prolog

Top : Computers : Programming : Languages : Prolog (65 web sites)
Implementations
Poplog
 Related Categories
Computers: Programming: Languages: Compiled
Computers: Programming: Languages: Constraint
Computers: Programming: Languages: Logic_based: Constraint_Logic
Computers: Programming: Languages: Garbage_Collected
Computers: Programming: Languages: Open_Source
Computers: Programming: Languages: Reflective
 Related Web Pages

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

Course on Prolog
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.
http://cg.huminf.aau.dk/Module_II/10000.html

Early History of Prolog
Draft of a paper in History of Programming Languages, edited by Thomas J. Bergin and Richard G. Gibson, ACM. Abstract and PDF.
http://www.lif-sud.univ-mrs.fr/~colmer/texte.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://books.google.nl/books?id=SFJuq1uRqmMC&printsec=frontcover#v=onepage&q&f=false

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

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

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

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

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

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

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

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/

Prolog small
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.
http://www.allisons.org/ll/Logic/Prolog/

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

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

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/