toinette-lopez documents

Prédicats prédéfinies Prédicats de type : Le type d un terme peut être une variable, une constante (atome, nombre), une structure. Un terme de type variable
Documents Prédicats prédéfinies Prédicats de type : Le type d un terme peut être une variable, une constante (atome, nombre), une structure. Un terme de type variable