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