我的问题与this question有关。在
我希望在python程序中嵌入以下prolog代码:
myEquation(A, B, C):-
var(A),number(B),number(C) -> A is B+C;
var(B),number(A),number(C) -> B is A-C;
var(C),number(A),number(B) -> C is A-B;
A =:= B + C.
我安装了pyswip
包并尝试了以下代码:
但它给了我一个错误:
ERROR: Syntax error: Operator priority clash
ERROR: assertz((myEquation(A, B, C):- var(A),number(B),number(C) -> A is B+C; var(B),number(A),number(C) -> B is A-C; var(C),number(A),number(B) -> C is A-B; A
ERROR: ** here **
ERROR: =:= B + C.)).
Traceback (most recent call last):
File "prologpy.py", line 4, in <module>
prolog.assertz("myEquation(A, B, C):- var(A),number(B),number(C) -> A is B+C; var(B),number(A),number(C) -> B is A-C; var(C),number(A),number(B) -> C is A-B; A =:= B + C.")
File "/home/cardio/.local/lib/python3.5/site-packages/pyswip/prolog.py", line 140, in assertz
next(cls.query(assertion.join(["assertz((", "))."]), catcherrors=catcherrors))
File "/home/cardio/.local/lib/python3.5/site-packages/pyswip/prolog.py", line 127, in __call__
"Returned: '", str(term), "'."]))
pyswip.prolog.PrologError: Caused by: 'assertz((myEquation(A, B, C):- var(A),number(B),number(C) -> A is B+C; var(B),number(A),number(C) -> B is A-C; var(C),number(A),number(B) -> C is A-B; A =:= B + C.)).'. Returned: 'error(syntax_error(operator_clash), string(b'assertz((myEquation(A, B, C):- var(A),number(B),number(C) -> A is B+C; var(B),number(A),number(C) -> B is A-C; var(C),number(A),number(B) -> C is A-B; A =:= B + C.)). ', 152))'.
我怎样才能解决这个问题。我可以使用其他一些与prolog相关的python包,比如listed here。在
谓词定义末尾的
.
太多。把它扔掉。在例如,这是正确的:
但这并不正确:
^{pr2}$如果您阅读示例provided with pyswip,您应该注意到上面的本机Prolog代码翻译为:
不是你写的那样
相关问题 更多 >
编程相关推荐