Expressions
-- terms
Prolog
constants
-- a, "a string",
[ ]
variables
--
X,Y,Z
compound
--
f(a,X)
,
[ H | T ]
Unification
-- bi-directional
parameter passing
DLP = LP + OO + \parll
slide
:
DLP -- expressions