标签： prolog inductive-logic-programming progol
您能推荐一个归纳逻辑编程系统吗？最好使用Prolog语法。是否有可以断定发明和学习递归规则的系统？我对Aleph和Prolog有点熟悉。最新的技术水平是什么？
坦克！ JCR