Prolog

• constants -- a, "a string", [ ]
• variables -- X,Y,Z
• compound -- f(a,X), [ H | T ]

Unification -- bi-directional parameter passing

• f(X,a) = f(b,Y) results in X = b and Y = a