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

Add tests covering basic expressions truth-table evaluations #6

Closed ryukinix closed 6 years ago

ryukinix commented 6 years ago

Cases:

I wrote a function to help me testing that. The function name is eval-expression, which returns a string with the signature of the expected truth-table of the given propositional expression.

The exports of src/package.lisp was re-organized as well.