Einleitung

• funktionales Programmieren:
  LISP (John McCarthy, 1957)

  benutzerdefinierte Funktionen,
  definiert durch Gleichungen (Ersetzungsregeln)

  Rechnen = Normalform bestimmen

• logisches Programmieren:
  Prolog (Alain Colmerauer, 1972)

  benutzerdefinierte Relationen (Prädikate),
  definiert durch Schlußregeln (Implikationen).

  Rechnen = Schlußfolgerung (Widerspruch) ableiten