我创建了一个这样的谓词(在swi-prolog中):
predicat(A+B) :- write(A), write(' -- '), write(B), !.
predicat(_) :- fail.
这里没问题:)例如,如果我尝试:
?- predicat((a+d)+(b+c)).
a+d -- b+c
true.
但是我想用'&'来创建相同的谓词(charcode = 38)而不是'+'。
predicat(A&B) :- write(A), write(' -- '), write(B), !. % it doesn't work
predicat(A\&B) :- write(A), write(' -- '), write(B), !. % it doesn't work
predicat(A#38B) :- write(A), write(' -- '), write(B), !. % it doesn't work
predicat(A<&>B) :- write(A), write(' -- '), write(B), !. % it doesn't work
predicat(A&B) :- write(A), write(' -- '), write(B), !. % it doesn't work
predicat(_) :- fail.
我找不到如何用&amp;。
做同样的事情如果有人有想法......
感谢您的阅读,也许可以帮助我。
PS:抱歉我的英语不好。