main clear / load / save
Roadmap Über

Programm

Π={}=

Grundlegende Funktionen aufrufen

Θ1= Θ2= ,
S1= S2= .

Berechne die Mengen VarΘ1 und VarΘ2
Berechne Verkettungen S1S2 und S2S1
Berechne Substitutionsanwendungen Θ1S1 und Θ2S2
Berechne Unifikation MGUΘ1Θ2
still geschwätzig nur den Pseudocode