Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
你能推荐一个归纳逻辑编程系统吗？最好使用 Prolog 语法。是否有系统可以进行谓词发明和学习递归规则？我对 Aleph 和 Prolog 有点熟悉。什么是最先进的？
坦克！JCR