Comment faire cela dans Prolog?

Question

Je suis nouveau à Prolog.

En utilisant cette structure « base de données » de base, je pensais que je serais en mesure d'interroger la base de données pour savoir

• qui mange du poisson?

• Que mangent les baleines?

  eats(Horse, grass). 
  eats(Monkey, banana). 
  eats(Whale, fish). 
  

Je voudrais de ne pas modifier cette configuration de base de données (si possible). J'utilisais les requêtes suivantes avec les résultats indésirables respectifs: « Qui mange du poisson »

Ici, j'étais en train demander,

?- eats(X, fish). 
true. 

Ici, j'étais essaie de demander, «qu'est-ce que les baleines mangent?

?- eats(Whale,X). 
X = grass ; 
X = banana ; 
X = fish. 

Answer 1

Vos requêtes sont correctes, c'est votre base de données de faits qui est erronée. Les atomes doivent commencer par une lettre minuscule (ou être cité). Vous avez commencé Horse, Monkey, Whale avec des majuscules, donc ce sont des variables (et correspondent à n'importe quoi). Par conséquent, votre base de données actuelle est équivalente à:

eats(X, grass). 
eats(X, banana). 
eats(X, fish). 

Answer 2

Les objets dans les faits doivent commencer en minuscules ou être placés entre guillemets. Dans ce cas, ils seraient des atomes. Dans votre cas, Prolog les considère comme des variables.

http://www.cse.unsw.edu.au/~billw/cs9414/notes/prolog/intro.html#facts