Clojure中的全功能逻辑编程：Clolog

Clolog项目将全功能的逻辑编程（Prolog）嵌入到Clojure中，并支持Clojure与Prolog之间的相互调用。它结合了LogLisp、Lisp Machine Prolog和Allegro Prolog的优点，并添加了一些额外功能。Clolog注重表达能力和执行透明度，支持快速原型设计、概念验证开发和外部循环推理。其语法基于Clojure，具有Lispy风格，并提供丰富的内置谓词和操作符，例如否定、条件判断、变量绑定以及对Clojure值的访问。