10 luglio 2000
X=..[F|A] come è da interpretarsi?
E perché p(1,q(2))=..[F|A] sostituisce ad F--->p e ad A--->[1,q(2)]?
l'operatore =.. (che si chiama univ) scritto per esempio:
X=..[F|A] unifica da un termine X il suo funtore con F e i suoi argomenti come lista con A.
Quindi se il termine X è per esempio:
p(1,q(2))p(1,q(2))=..[F|A] sostituisce ad F--->p (il funtore) e ad
A--->[1,q(2)] (la lista degli argomenti del termine, ovvero 1 il primo arg e
q(2) il secondo)
