PROLOG知识库是否适合以下陈述练习？

Question

练习如下：

在Prolog中代表以下内容：

1. 布奇是个杀手。
2. Mia和Marsellus结婚了。
3. Zed死了。
4. Marsellus杀死了给Mia带来足部按摩的每个人。
5. 米娅喜欢每个好舞者。
6. Jules吃任何有营养或美味的食物。

我写的知识库代码是：

killer(Butch).
married(Mia,Marsellus).
dead(Zed).
kills(Marsellus, Y):- getsfootmassagefrom(Mia, Y).
loves(Mia, X):- goodDancer(X).
eats(Jules, X):- nutritious(X); tasty(X).

这是正确的还是在编写规则时有任何错误？

由于

Answer 1

这更像是吗？

killer(butch).
killer(marcellus).

adult(mia).
adult(marcellus).
adult(jules).
loves(marcellus,mia).
loves(mia,marcellus)
loves(zed,butch).
married(X,Y):-
    loves(X,Y),
    adult(X).

'good dancer'(butch).
'good dancer'(zed).
'mia loves'(X):-
    'good dancer'(X).

'mia footmassager'(zed).
'mia footmassager'(jules).
'mia footmassager'(butch). 
'marcellus kills'(X):-
    'mia footmassager'(X). 

nutritious('cod liver oil').
nutritious(hummus).
tasty(hummus).
tasty(chocolate).
'jules eats'(X):- 
    nutritious(X),
    tasty(X).