Get the latest tech news
Clolog
Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prol...
Emphasis on expressive power and execution transparency, supporting rapid prototyping, proof-of-concept development, and outer-loop reasoning (i.e., not real fast, so far). Considering for the moment only assertion (not special) predicates, logic programming search processes (or calls), in turn from left to right, each goal in an (implicitly) conjunctive query by... We provide no explicit control over the order in which (less conventional) assertions with variadic, variable, or non-ground complex head statement predicates are examined during backtracking search.
Or read this on Hacker News