Tag: instantiation-error
Une instanciation erreur se produit dans le Prologue quand un argument est insuffisamment instancié. Il est fréquemment rencontrés avec (est)/2 et le haut-ins pour l’arithmétique et la comparaison (>)/2 et (=:=)/2 que tous attendent variable libre d’expressions.