关于prolog的疑问，真心求助大神们

level 1

tomsonsgs 楼主

我想知道一些论据可能产生的所有推论，如输入小白是人，人会走，它自动产生所有的推论，小白是人，人会走，小白会走这三个推论（其中包含有原论据）

2016年06月14日 14点06分 1

level 1

tomsonsgs 楼主

没有目标的

2016年06月14日 14点06分 2

level 13

丁兔

理论上可以，但要实现程序那要求的水平不低，实际上编出来可能有速度慢、爆栈等等各种坑

2017年05月30日 05点05分 3

level 13

丁兔

这个是正向推理，prolog是逆向推理的，要做有点麻烦就是了

2017年06月01日 03点06分 4