Unifikation

Neue Frage »

Auf diesen Beitrag antworten »
Haevelin Unifikation

Folgende Formelmengen unifizierbar?

1) {P(x,y,y); P(y,z,a)} ist nicht unifizierbar, da y an unterschiedlichen Stellen vorkommt
2) {P(x,y,y), P(f(y),y,x)) aus dem gleichen Grund nicht unifizierbar
3) {P(f(x),a,x); P(f(g(y)), z,z)} dürfte unifizierbar sein, indem man x /z und g(y)/z und a/z austauscht.
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »