4 ms·
Lisp. Clojure for instance has a built in logic language called miniKanren
by freeduck 10y ago
Lisp. Clojure for instance has a built in logic language called miniKanren
- vram22 10y agoInteresting. IIRC I came across a series of libs from that family recently - for different languages, including Python. Need to check it out. Update: Googled, it's right here: https://en.wikipedia.org/wiki/MiniKanren https://en.wikipedia.org/wiki/MiniKanren From that page: "There are implementations of miniKanren in Haskell, Racket, Ruby, Clojure, and Python. The canonical implementation is an embedded language in Scheme. The Clojure core.logic library was inspired by miniKanren." The name kanren comes from a Japanese word for "relation".