Clojure Expert systems in Clojure (clara rule,rete4frames)
Implementing a CLIPS-like expert system in Clojure, Clara rules, reteframe
エキスパートシステム:expertsystem
Clojure prolog Expert System and CLIPS
Expert system with forward reasoning, CLIPS overview
Symbolic Logic Backward inference and Forward inference
Forward reasoning to infer from facts, backward reasoning to formulate and organize hypotheses
Clojure Clojure core.logic and miniKanren
core.logic for logic programming in Clojure