main clear / load / save
feuille de route sur

Programm

Π={}=

Grundlegende Funktionen aufrufen*

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

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