Skip to content

ryukinix/lisp-inference

Error
Looks like something went wrong!

About

An Inference Engine based on Propositional Calculus written in Common Lisp

logic.manoel.dev

Topics

common-lisp propositional-logic truth-table inference-engine propositional-calculus inference-rules lisp-inference

Resources

Readme

License

BSD-3-Clause license
Activity

Stars

41 stars

Watchers

4 watching

Forks

1 fork
Report repository

Releases 2

Support infix expressions and add roswell script! Latest
Mar 1, 2019
+ 1 release

Packages

No packages published

Contributors 2

  •  
  •  

Languages