search

ryukinix / lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp
https://logic.manoel.dev
BSD 3-Clause "New" or "Revised" License
40 stars 1 forks source link
common-lisp inference-engine inference-rules lisp-inference propositional-calculus propositional-logic truth-table

readme

Build Status

Lisp Inference

A non-full featured Lisp Inference Engine because I didn't implemented the reductor yet. The algorithm commonly used it's the [Wang Algorithm], maybe can you help me?

screenshot

Usage

The main usage for now it's using as a truth-table generator by using its command line interface. You can download the last release and use as showed in the last picture as following:

ros install ryukinix/lisp-inference
~/.roswell/bin/inference

You need ros installed: Roswell

License

BSD

Author

Manoel Vilela