Bestimmung des mgu

(vergleiche Logische Programmierung)

Dieser Algorithmus ist korrekt, aber nicht effizient.



Johannes Waldmann 2006-02-02