Programmieren mit Prolog

Unifikation: BeispieleKonvention: x, y, . . . sind Variablen und a, b, . . . Konstanten.• f(x,a) und f(g(y),y) besitzen den einzigen Unifikator{x ↦→ g(a),y ↦→ a}, der damit auch mgu ist.• f(b,a) und f(g(y),y) besitzen keinen Unifikator.• f(x,x) und f(g(y),y) besitzen ebenfalls keinenUnifikator, weil y und g(y) nicht unifizierbar sind.• f(x,y) und f(y,x) besitzen unendlich vieleUnifikatoren: {x ↦→ a,y ↦→ a}, {x ↦→ g(a),y ↦→ g(a)},{x ↦→ x,y ↦→ x}, {x ↦→ z,y ↦→ z}, . . .Mgu sind {x ↦→ x,y ↦→ x} oder {x ↦→ y,y ↦→ y},nicht aber {x ↦→ z,y ↦→ z}, denn{x ↦→ z,y ↦→ z,z ↦→ z} ≰ {x ↦→ x,y ↦→ x,z ↦→ z}.Hochschule Darmstadt, Januar 2009 – p.35/54