首页 文章
  • 3 votes
     answers
     views

    我对Prolog中的平等和统一缺少什么?

    我正在通过Clocksin和Mellish努力尝试最终超越仅仅涉及Prolog . FWIW,我正在运行SWI-Prolog: 适用于x86_64-linux的SWI-Prolog版本7.2.3 无论如何,我实现了diff / 2谓词作为练习1.4的一部分 . 谓词很简单: diff(X,Y) :- X \== Y. 它在sister_of谓词中使用时有效,如下所示: sister_of(...

热门问题