Erreur de procédure non définie dans Prolog ?

Question

Je viens de commencer à apprendre Prolog, et je n'ai aucune idée de la raison pour laquelle j'obtiens cette erreur.

Il s'agit du "code" du fichier .pl :

bigger(elephant, horse).
bigger(horse, donkey).
bigger(donkey, dog).
bigger(donkey, monkey).

isbigger(X, Y) :- bigger(X, Y).
isbigger(X, Y) :- bigger(X, Z),print(Z),print(’ ’) ,isbigger(Z, Y).

Chaque fois que j'essaie de vérifier quel animal est le plus grand, j'obtiens cette erreur :

  1 ?- bigger(donkey, monkey).
  ERROR: toplevel: Undefined procedure: bigger/2 (DWIM could not correct goal)

De l'aide, s'il vous plaît ?

Gracias.

Answer 1

Je pense que vous avez besoin d'une affirmation :

assert(bigger(donkey, monkey)).

Je viens de commencer aujourd'hui et j'ai mis du temps à comprendre.

Bonne chance !