新手求助PROLOG
prolog吧
全部回复
仅看楼主
level 1
lbjerry
楼主
已知 a 能 推出 b, 非a 也能 推出 b,
在普通逻辑中，即使不知道 a是不是为真，也能推出 b为真.
但在PROLOG中，如果这么写:
b :- a.
b :- \+ a.
却提示 a 为 Undefined procedure, 不知道有没有方法不定义a，也能提问b?
2018年03月12日 05点03分
1
level 13
丁兔
这样写应该可以啊，楼主用的那种prolog
2018年03月12日 11点03分
2
丁兔
用Amzi! Prolog试了可以
2018年03月12日 13点03分
ryq11666
@丁兔
你好，能加你qq吗？有想请教
2018年05月15日 01点05分
level 1
lbjerry
楼主
用的是swipl，SWI， 看来是软件问题，感谢回复
2018年03月12日 13点03分
3
1
