Programmation logique complète en Clojure : Clolog
2025-04-15
Le projet Clolog intègre la programmation logique complète (Prolog) dans/appelable depuis Clojure, prenant en charge les appels vers et depuis Clojure. Inspiré par LogLisp, Lisp Machine Prolog et Allegro Prolog, il ajoute plusieurs améliorations. L'accent est mis sur la puissance expressive et la transparence de l'exécution, prenant en charge le prototypage rapide, le développement de preuves de concept et le raisonnement en boucle externe (ce n'est pas encore très rapide). La syntaxe Clojure basée sur Lisp fournit des prédicats et des opérateurs intégrés pour la négation, les conditionnels, la liaison de variables et l'accès aux valeurs Clojure.
Développement
Programmation logique