首页
标签
inductive-logic-programming
找到了一个归纳类型 bool 的构造函数,而期望是一个列表的构造函数
Coq 中子列表的归纳命题
没有在 Aleph 中获得 SWI Prolog 的理论