Clojureにおける本格的な論理プログラミング：Clolog

Clologプロジェクトは、Clojureに本格的な論理プログラミング（Prolog）を組み込み、Clojureとの相互呼び出しをサポートします。LogLisp、Lisp Machine Prolog、Allegro Prologに着想を得て、いくつかの機能強化が追加されています。表現力と実行の透明性を重視し、迅速なプロトタイピング、概念実証開発、外部ループ推論をサポートします（まだ高速ではありません）。ClojureベースのLisp風の構文により、否定、条件分岐、変数バインディング、Clojure値へのアクセスのための組み込み述語と演算子が提供されます。