semprop公司

提交人：莱茨
描述：它由Reinhold Letz设计，是一个用Bigloo（Scheme的一种方言）编写的基于搜索的解算器，具有依赖定向回溯和false/true子问题的引理/模型缓存功能。
结果：