Unifikation--Definition

Unifikationsproblem (unvollst.)

Beispiele: bestimme jeweils Menge der Unifikatoren von:

Für den Fall mehrerer Unifikatoren möchte man bestimmte auswählen. ( vollst. Def. nächste Folie)



Johannes Waldmann 2015-12-11