Report - 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.

Please pass captcha verification before submit form