Prolog Functor

A Implication rule that specifies when a rule is true

Rules

Conjoined Antecedents

$$a_1\wedge \cdots \wedge a_n\to c$$

sibling(X,Y) :- parent(P,X),parent(P,Y).

• Uses Prolog Conjunction

Disjoint Antecedents

$$a_1\vee \cdots \vee a_n\to c$$

% or case
person(X) :- male(X);female(X).
% equivalent to:
% person(X) :- male(X).
% person(X) :- female(X).

Functor Notation

isaParent(+X, ?Y)

• X is always given
• Y is an optional variable