Prolog: Difference between revisions
Jump to navigation
Jump to search
imported>Eric Evers No edit summary |
imported>Eric Evers No edit summary |
||
| Line 4: | Line 4: | ||
<ref Name=C_M>The (K&R) equivilant classic text for Prolog is: Programming in Prolog by William F. Clocksin (Author), Christopher S. Mellish. </ref> | <ref Name=C_M>The (K&R) equivilant classic text for Prolog is: Programming in Prolog by William F. Clocksin (Author), Christopher S. Mellish. </ref> | ||
At the | At the Prolog command line we can use: | ||
| ?- print('hello world!'). | |||
to produce: | to produce: | ||
hello world! | hello world! | ||
Revision as of 15:46, 1 February 2008
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]]. [1]
At the Prolog command line we can use:
| ?- print('hello world!').
to produce:
hello world!
See also
References
- ↑ The (K&R) equivilant classic text for Prolog is: Programming in Prolog by William F. Clocksin (Author), Christopher S. Mellish.