Differenze tra le versioni di "Prolog/Predicati built-in"

m
Nuova pagina: List of built-in predicates in ISO Prolog. ==Term unification== ;=/2 :Prolog unification ;unify_with_occurs_check/2 : ;(\=)/2 :Not Prolog unifiable ==Type testing== ;var/1 :True if t...
m (Nuova pagina: List of built-in predicates in ISO Prolog. ==Term unification== ;=/2 :Prolog unification ;unify_with_occurs_check/2 : ;(\=)/2 :Not Prolog unifiable ==Type testing== ;var/1 :True if t...)
(Nessuna differenza)
462

contributi