fogus / reinen-vernunft

Code conversations in Clojure regarding the application of pure reasoning algorithms.

reinen-vernunft

Explorations and conversations regarding pure reason using Clojure. Currently, I've implemented the following:

• fogus.reinen-vernunft.rules - simplest possible production rules (more information in Read-Eval-Print-λove v004)

Usage

Don't.

Testing

clj -X:dev:test

TODO

• Port old impls from Forbus' Building Problem Solvers
• Find old datalog impl
• Port amb to a trampoline solution

License

Copyright © 2017-2021 Fogus

Distributed under the Eclipse Public License version 1.0.