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