Sto cercando di implementare una funzione di unificare con un algoritmo che viene specificato come unify α α = idSubst
unify α β = update (α, β) idSubst
unify α (τ1 ⊗ τ2) =
if α ∈ vars(τ1 ⊗ τ2)
Si supponga Ho le seguenti regole: unify('test', 'this is a test').
run :- write('Enter something: '),
read(X),
unify(X, Y),
write('The answer is '), write(Y).
E poi ho eseguito c