小白求助：如何对一个条件否定
prolog吧
全部回复
仅看楼主
level 1
天狼灭 楼主
比如，poor（x）表示x是贫穷的，如何表示x是不贫穷的？
2014年11月30日 12点11分 1
level 13
丁兔
prolog是封闭世界假设的，就是说事实库没有的，就是假的。
所以只要不写"poor(x)."的事实，就默认x不是贫穷的。
2017年05月26日 05点05分 3
1