Facts: What Is Known
In Prolog, a relation between objects is called a predicate. In natural language, a relation is symbolized by a sentence.
In the predicate logic that Prolog uses, a relation is summarized in a simple phrase that consists of the relation name followed by the object or objects (enclosed in parentheses). As with a sentence, the fact ends with a period (.).