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.

?-