minikanren

LISP

The Reasoned Schemer

Logic Programming with Schema, a Derivative of LISP Used for Artificial Intelligence (Tasks): An Overview of DSL:minikanren
Clojure

Clojure core.logic and miniKanren

core.logic for logic programming in Clojure
Exit mobile version
タイトルとURLをコピーしました