main
clear / load / save
Roadmap
Über
Programm
Π
=
{
}
=
∅
Grundlegende Funktionen aufrufen
Θ
1
=
,
Θ
2
=
,
S
1
=
,
S
2
=
.
Berechne die Mengen
Var
(
Θ
1
)
und
Var
(
Θ
2
)
Berechne Verkettungen
S
1
S
2
und
S
2
S
1
Berechne Substitutionsanwendungen
Θ
1
S
1
und
Θ
2
S
2
Berechne Unifikation
MGU
Θ
1
Θ
2
still
geschwätzig
nur den Pseudocode
