Jan, 2014

谓词逻辑作为建模语言:IDP 系统

TL;DR介绍了基于纯逻辑物理模型语言的扩展的逻辑编程形式,其中的复杂定义是作为规则集的表示,并且通过多种形式的推理来解决不同的计算问题。