prolog代码的问题

Question

Predicates
is_a(X,Y)      X is a doctor/handyman
drives(X,Y)    X drives Y

我们得到医生驾驶跑车和勤杂工驾驶4WD

is_a(john,doctor).
is_a(david,handyman).

现在我想要代码决定约翰/大卫驾驶什么样的车.我试过做:

drives(X,sportscar) :- is_a(X,doctor).
drives(Y,4WD) :- is_a(Y,handyman).

我究竟做错了什么？

?- drives(john,fourwd).
true .

?- drives(john,sportscar).
true .

?- drives(david,fourwd).
true .

?- drives(david,sportscar).
true .

Answer 1

我的序言有点生疏,但我的口译员不喜欢你的路线

drives(Y,4WD) :- is_a(Y,handyman)

它抱怨 ERROR: c:/test.pl:4:0: Syntax error: Illegal number

我把它换成了

drives(Y,fourwd) :- is_a(Y,handyman)

它似乎工作正常.

?- drives(X,Y).
X = john,
Y = sportscar ;
X = david,
Y = fourwd.

?-