Applying Logical Knowledge

Structures

Same syntax as facts:

functor(arg1, arg2, ... argN).

Variables can refer to full structure, or pieces of it:

?- passenger(_,_,_, X).
X = address(toonsville,ca).

?- passenger(_,_,_,address(X,Y)).
X = toonsville
Y = ca