Prolog

From Citizendium
Revision as of 14:00, 1 February 2008 by imported>Eric Evers (New page: {{subpages}} ''For other uses, see erlang (disambiguation).'' '''Prolog''' is a declarative language, and is a [[Programming_langu...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
This article is a stub and thus not approved.
Main Article
Discussion
Definition [?]
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

For other uses, see erlang (disambiguation).

Prolog is a declarative language, and is a general-purpose programming language. Prolog stands for "programming logic", and is built on the theory of horn clauses. Erlang is a language that shares some syntax with prolog. Prolog is most often used to program artificial intelegence applications such as expert systems. One of the more famous versions of prolog is Quintus Prolog. Other versions of Prolog include SWI-Prolog and GNU Prolog [[1]]. The (K&R) equivilant classic text for Prolog is: Programming in Prolog by William F. Clocksin (Author), Christopher S. Mellish.

See also

References