Nächste Seite:
Unifikation Komplexität
Aufwärts:
Logisches Programmieren
Vorherige Seite:
Unifikation Definition
Unifikation--Algorithmus
mgu(
s
,
t
)
nach Fallunterscheidung
s
ist Variable: ...
t
ist Variable: symmetrisch
s
=
f
(
s
1
,
s
2
)
und
t
=
g
(
t
1
,
t
2
)
: ...
mgu :: Term -> Term -> Maybe Substitution
Johannes Waldmann 2011-01-18
