Prolog 

Data types

Prolog doesn't employ data types in the way usual in the common programming languages. We may rather speak about Prolog lexical elements instead of data types.

Atoms

The text constants are introduced by means of atoms. An atom is a sequence consisting of letters, numbers and underscore, which begins with a lower-case letter. Usually, if non-alphanumeric atom is needed, it is surrounded with apostrophes (e.g. '+' is an atom, + is an operator).

Numbers

Most Prolog implementations don't differ between integral and real numbers.

Variables

Variable is denoted by a string consisting of letters, numbers and underscore characters, which begins with a upper-case letter. In the Prolog environment, a variable isn't a container, which can be assigned to (unlike procedural programming languages). Its behaviour is closer to a pattern, which is increasingly specified by unification.

So called anonymous variable is written as a single underscore (_).

Terms

Terms are the only way Prolog can represent complex data. A term consists of a head, also called functor (which must be an atom) and parameters (unrestricted types). The number of parameters, so called arity of term, is significiant. A term is identified by its head and arity, usually written as functor/arity.

Lists

A list isn't a standalone data type, because it is defined by a recursive construction (using term '.'/2):

1. atom [] is an empty list
2. if L is a list and X is an element, then the term '.'(X, L) is a list. The first element is X, which is followed by the contents of L. Syntactic shortcut is [X | L].

For programmer's convenience, the lists can be constructed and deconstructed in a variety of ways.

• Element enumeration: [abc, 1, f(x), Y, g(A,rst)]
• Prepending single element: [abc | L1]
• Prepending multiple elements: [abc, 1, f(x) | L2]
• Term expansion: '.'(abc, '.'(1, '.'(f(x), '.'(Y, '.'(g(A,rst), [])))))

Strings

Strings are usually written as a sequence of characters surrounded by quotes. They are often internally represented as lists of ASCII codes.

Facts

Programming in Prolog is very different from programming in a procedural language. In Prolog you supply a database of facts and rules; you can then perform queries on the database. The basic unit of Prolog is the predicate, which is defined to be true. A predicate consists of a head and a number of arguments. For example:

 cat(tom).

Here 'cat' is the head, and 'tom' is the argument. Here are some sample queries you could ask a Prolog interpreter basing on this fact:

 ?- cat(tom).
      yes.

 ?- cat(X).
      X = tom;
      no.

Predicates are usually defined to express some fact the program knows about the world. In most of the cases, the usage of predicates requires a certain convention. Thus, which version of the two below would signify that Pat is the father of Sally?

 father(sally,pat). 
 father(pat,sally). 

In both cases 'father' is the head and 'sally' and 'pat' are arguments. However in the first case, Sally comes first in the argument list, and in the second, Pat comes first (the order in the argument list matters). The first case is an example of a definition in Verb Subject Object order, and the second of Verb Object Subject order. Since Prolog doesn't understand English, both versions are fine so far as it is concerned; however it is good programming style to stick to either convention during the writing of a single program, so that to avoid writing something like

 father(pat,sally).
 father(jessica,james).

Some predicates are built in into the language, and alow a Prolog program to perform routine activities (such as input/output, using graphics and otherwise communicating with the operating system). For example, the predicate write can be used for output to the screen. Thus,

  write('Hello') 

will display the word 'Hello' on the screen.

Rules

 light(on) :- switch(on). 

The ":-" means "if"; this rule means power(on) is true if switch(on) is true. Rules can also make use of variables; variables begin with capital letters while constants begin with lower case letters. For example,

 father(X,Y) :- parent(X,Y),male(Y). 

This means "if someone is a parent of someone and he's male, he is a father". The ancedent and consequent are in reverse order to that normally found in logic. Furthermore, rules can only have a single predicate as a consequent. It is possible to place multiple predicates in a consequent, joined with conjunction, for example:

 a,b,c :- d.

which is simply equivalent to three separate rules:

 a :- d. 
 b :- d. 
 c :- d.

What isn't allowed is rules like

 a;b :- c.

that is "if c then a or b". This is because of the restriction to Horn clauses.

Implementations

• Ciao Prolog (http://www.clip.dia.fi.upm.es/Software/Ciao)
• GNU Prolog (http://gnu-prolog.inria.fr)
• YAP Prolog (http://www.ncc.up.pt/~vsc/Yap)
• SWI Prolog (http://www.swi-prolog.org)
• Visual Prolog (http://www.visual-prolog.com)
• SICStus Prolog (http://www.sics.se/sicstus/)
• Amzi! Prolog (http://www.amzi.com/)

References

• Short intro - learning unit with exercices (http://cbl.leeds.ac.uk/~tamsin/prologtutorial/index.html)
• More comprehensive course (http://cbl.leeds.ac.uk/~paul/prologbook/)
• A prolog interpreter that runs in the browser (http://ktiml.mff.cuni.cz/~bartak/prolog/testing.html)
• Prolog: The ISO standard (http://pauillac.inria.fr/~hodgson/prolog)

And thus you will have at once defensive armour for defence. To come to weapons.html">weapons of offence, we recommend the sabre rather horse's position the curved blade will descend with greater force than {xephos}. "Cyrop." I. ii. 13/13.html">13/13.html">13. Again, in place of the long reed spear, which is apt to be weak and the one of which the skilful horseman can let fly.html">fly, and still ply the obliquely; add to that, these smaller weapons are not only stronger perhaps, cf. "Hell." III. iv. 14/14.html">14; "Anab." I. viii. 3; "Cyrop." I. longest possible, as giving more time to rally[12] and transfer the most effective method of hurling the javelin. The horseman should bodily from the thighs, he should let fly the missile with the point force and to the farthest distance; we may add, too, with the truest the object aimed at.[13] [12] Al. "to turn right-about." [13] "If the lance is steadily eyeing the mark at the instant of exercises suited to a private individual, must come to a conclusion; will be found developed in the companion treatise.[14] [14] In reference to "The Cavalry General", or "Hipparch." End of The Project Gutenberg Etext of On Horsemanship by.

 On wordlookup.net  

All is still licensed under the GNU FDL.
It uses material from the wikipedia.