Overview
A Prolog program is made up of two types of phrases (also known as clauses):facts and rules.
In Prolog, all rules have two parts: a head and a body separated by the special :- token.
facts and rules are really the same, exceptthat a fact has no explicit body. The fact simply behaves as if it had a body that was always true.