问题标签 [aleph-ilp]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
1 回答
86 浏览

prolog - 如何通过使用 Aleph 和 SWI-Prolog 来获得理论

我试图通过使用带有 SWI-Prolog ( SWI-Prolog Pack )的Aleph归纳逻辑编程系统来获得理论

我的代码是

我想要的是:

但是,我得到的结果是:

太奇怪了,我想要一个通用的理论,但是 SWI-Prolog 只是给了我所有的规则。