minisat

太阳能（SOL for Advanced推理)是一个基于一阶从句结果发现系统。定理证明、查询回答和非单调的 推理. SOL是一个连接表演算。 引用5篇文章[sw08841] 编程范式，其根源在于非单调逻辑 推理演绎数据库和否定逻辑程序设计