https://github.com/fogus/reinen-vernunft

Code conversations in Clojure regarding the application of pure reasoning algorithms.
https://github.com/fogus/reinen-vernunft

langdev

Last synced: 9 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/fogus/reinen-vernunft
• Owner: fogus
• License: epl-1.0
• Created: 2017-08-04T18:49:50.000Z (over 7 years ago)
• Default Branch: main
• Last Pushed: 2021-08-03T12:17:57.000Z (over 3 years ago)
• Last Synced: 2024-08-12T23:48:20.510Z (3 months ago)
• Topics: langdev
• Language: Clojure
• Homepage:
• Size: 54.7 KB
• Stars: 8
• Watchers: 3
• Forks: 0
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# reinen-vernunft

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

* [fogus.reinen-vernunft.rules](https://github.com/fogus/reinen-vernunft/blob/master/src/fogus/reinen_vernunft/rules.clj) - simplest possible production rules (more information in [Read-Eval-Print-λove v004](https://leanpub.com/readevalprintlove004))

## Usage

Don't.

## Testing

    clj -X:dev:test

## TODO

- [ ] Port old impls from Forbus' *[Building Problem Solvers](https://www.amazon.com/gp/product/0262061570/?tag=fogus-20)*

- [ ] Find old datalog impl

- [ ] Port ~amb~ to a trampoline solution

## License

Copyright © 2017-2021 Fogus

Distributed under the Eclipse Public License version 1.0.