Prolog-1

0203. Introduction to Artificial Intelligence

Prolog (1)

1. Prolog overview

Prolog is a logic programming language. The name itself, Prolog, or PROLOG, is short for "PROgramming in LOGic". The first Prolog was based on the work of Colmerauer in 1970, designed to facilitate natural language processing.

Logic programming is a type of declarative programming. Different from procedural programming languages, such as C/C++ and Java, the focus of declarative programming is to describe a situation (a set of knowledge), not to describe a solution (a sequence of instructions). Especially, logic programming uses a language that is similar to logic, writes a program as a list of facts and rules, and treats the execution of a program as an inference process, from given facts and rules to the desired goal.

2. Facts and rules

A Prolog program consists of a sequence of facts and rules.

In the simplest situation, a fact is a predicate name followed by an argument list and a dot sign, ".". It represents a relation among the arguments, or a property of a (single) argument.

Prolog uses the convention that a constant is an identifier starting with a lower-case letter, while a variable is an identifier starting with a upper-case letter. A constant stands for a specific entity, and different constants stand for different entities. On the other hand, a variable can stand for any entity, and different variables can stand for the same entity. The predicate name must be a constant, while each argument can either be a constant or a variable.

For example, "George is funny" can be represented as a Prolog fact:

    funny(george).

"George likes swimming" can be represented as:

    likes(george, swimming).

Things to be noticed:

"likes(george, swimming)." is different from "likes(swimming, george)."
"likes(george, swimming)." is different from "likes(George, swimming)."
"likes(X, swimming)." is the same as "likes(George, swimming)."
don't forget the ending dot.

A rule can be seen as a "conditional fact". "Susie likes swimming if George likes swimming" is represented as a Prolog rule:

    likes(susie, swimming) :- likes(george, swimming).

Things to be noticed:

"likes(george, swimming) :- likes(susie, swimming)." is different from "likes(susie, swimming) :- likes(george, swimming)."
"likes(george, swimming) :- likes(susie, swimming)." is different from "likes(george, Swimming) :- likes(susie, Swimming)."
"likes(george, X) :- likes(susie, X)." is the same as "likes(george, Swimming) :- likes(susie, Swimming)."
The two characters ":-" represent "if", with the condition on the right-hand side.
The scope of a variable is a rule or fact.

A rule can have multiple (co-existing) conditions, separated by ",". For example, "Mary likes whatever Susie and George like" is represented as:

    likes(mary, X) :- likes(susie, X), likes(george, X).

3. Programs and queries

A Prolog program consists of a list of facts and rules, such as:

likes(george, swimming).
likes(susie, swimming) :- likes(george, swimming).
likes(mary, X) :- likes(susie, X), likes(george, X).

A Prolog program (sometimes also called a "database") can be used to answer queries, or to achieve goals.

Prolog is an interactive language. The interpreter accepts queries at the prompt "?-", and a query is just like a fact, except that its truth will be judged by the program. To do that, the Prolog interpreter tries to "match" the query with sentences in the program one by one (from top to bottom), and answers "Yes" when a match is found, otherwise answer "No".

For example, after the above program is loaded, we will have:

?- likes(george, swimming).

Yes

?- likes(jack, biking).

No

?- dislikes(jack, biking).

No

Please note that in Prolog there is no "I don't know", and "No" is the answer as far as "Yes" cannot be obtained.

When a query meets a rule, and the "head" (the conclusion part, or the left-hand side) of the rule matches the query, then the interpreter treats the conditions of the rule as derived sub-queries, and recursively check for them one by one (from left to right). If the answer for them are all "Yes", the original query gets an "Yes", otherwise it gets a "No".

?- likes(susie, swimming).

Yes

When there are variables in the sentences to be matched, the interpreter tries to "unify" them, by substituting a variable by a constant (or another variable). If a query contains variable(s) and the unifications are successful, then the relevant substitutions are reported as the answer (and the "Yes" is no longer explicitly reported).

?- likes(mary, swimming).

Yes

?- likes(susie, X).

X = swimming

?- likes(X, swimming).

X = george

For queries with multiple answers, type a semicolen ";" after an answer will make the interpreter continues to look for the next answer.

?- likes(X, swimming).

X = george ;

X = susie ;

X = mary ;

No

The last "No" actually means "No more".