Prolog Tutorials

Prolog is a logic programming language. It is a general purpose language often associated with artificial intelligence and computational linguistics. It has a purely logical subset, called " pure Prolog ", as well as a number of extralogical features.

The name Prolog was chosen by Philippe Roussel as an abbreviation for " PROgrammation en LOGique” ( French for programming in logic ). It was created around 1972 by Alain Colmerauer with Philippe Roussel, based on Robert Kowalski's procedural interpretation of Horn clauses.

It was motivated in part by the desire to reconcile the use of logic as a declarative knowledge representation language with the procedural representation of knowledge that was popular in North America in the late 1960s and early 1970s.

Much of the modern development of Prolog came from the impetus of the fifth generation computer systems project ( FGCS ), which developed a variant of Prolog named Kernel Language for its first operating system.

Pure Prolog was originally restricted to the use of a resolution theorem prover with Horn clauses of the form

H: - B1, …, Bn..
The application of the theorem - prover treats such clauses as procedures

to show / solve H, show / solve B1 and … and Bn.
Pure Prolog was soon extended, however, to include negation as failure, in which negative conditions of the form not ( Bi ) are shown by trying and failing to solve the corresponding positive conditions Bi.

Prolog Tutorials Links

Visual Prolog 6 Online Tutorials
URL: http://www.visual-prolog.com/vip6/tutorial/
A series of tutorial articles that will help you to get the most out of Prolog language and Visual Prolog.

ON-LINE GUIDE TO PROLOG PROGRAMMING
URL: http://kti.ms.mff.cuni.cz/~bartak/prolog/
This is a second edition of former Interactive Prolog Guide that brings new design and better organization of chapters

Prolog Tutorial
URL: http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html
This tutorial is intended to be used to help learn the essential, basic concepts of Prolog.

Prolog Tutorial
URL: http://cs.wwc.edu/~cs_dept/KU/PR/Prolog.html
Introduction to Prolog

Prolog for Software Engineering
URL: http://www.cs.auckland.ac.nz/~j-hamer/07.363/prolog-for-se.html#tocelements
A tutorial by Peter B. Reintjes for the 1994 International Conference on the Practical Applications of Prolog

Prolog Tutorials
URL: http://www.cs.may.ie/~jpower/Courses/PROLOG/
10 short tutorials or one big tutorial depending on how you look at it.

Prolog and Logic Programming
URL: http://www.cs.bham.ac.uk/~pjh/prolog_course/se207.html
Several modules on Prolog programming.

Prolog Resources
URL: http://www.magicseyer.com/prolog_links.htm
Categorized list of Prolog resources.

Share this

Related Posts

There was an error in this gadget