We are creating the world's most trusted encyclopedia and knowledge base.
Once you join us and log in, you'll be able to edit this page instantly!

Prolog

From Citizendium, the Citizens' Compendium

Jump to: navigation, search
Image:Statusbar3.png
Main Article
Talk
Definition [?]
Related Articles  [?]
Bibliography  [?]
External Links  [?]
 
This is a draft article, under development. These unapproved articles are subject to a disclaimer.

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 at www.gprolog.org. The classic text for Prolog is: Programming in Prolog by William F. Clocksin (Author), Christopher S. Mellish [1].

Standard versions 

At the Prolog command line we can use:
| ?- print('hello world!').
to produce:
hello world!

See also

References

  1. ↑ The classic text for Prolog is: Programming in Prolog by William F. Clocksin (Author), Christopher S. Mellish.
Retrieved from "http://locke.citizendium.org:8080/wiki/Prolog"
Views
Personal tools