Prolog 非法开学

Prolog 非法开学,prolog,Prolog,GNU Emacs 23.2.1 prolog模式版本是在“prolog.el”中定义的变量。其值为“1.22” 我查阅了以下文件: body(mercury, 36, small, none, none). body(venus, 67, small, atmosphere, none). body(earth, 93, small, atmosphere, none). body(moon, 93, small, none, none). body(mars, 141, small, atm

GNU Emacs 23.2.1 prolog模式版本是在“prolog.el”中定义的变量。其值为“1.22”

我查阅了以下文件:

body(mercury, 36, small, none, none).
body(venus, 67, small, atmosphere, none).
body(earth, 93, small, atmosphere, none).
body(moon, 93, small, none, none).
body(mars, 141, small, atmosphere, none).
body(jupiter, 489, large, atmosphere, rings).
但是,当我执行以下操作时:

body(Body, Miles, _, _, _,) , Miles > 100.
我发现以下错误,对我来说似乎完全合法:

?- body(Body, Miles, _, _, _,) , Miles > 100.
ERROR: Syntax error: Illegal start of term
ERROR: body(Body, Miles, _, _, _,
ERROR: ** here **
ERROR: ) , Miles > 100 . 
?-
谁能解释我做错了什么


非常感谢您的建议,

您的查询中有一个额外的逗号。 应该是

body(Body, Miles, _, _, _), Miles > 100.

查询中有一个额外的逗号。 应该是

body(Body, Miles, _, _, _), Miles > 100.