Leave feedback Log In

Ultralisp.org ^{includes two thousand four
hundred projects}

Try: signal - this will search in symbol's name and documentation.

ryukinix/lisp-inference
#inference-engine#inference-rules#lisp-inference#propositional-calculus#propositional-logic#truth-table

An Inference Engine based on Propositional Calculus written in Common Lisp

Type: GITHUB

Created at

2025-10-26 23:06:29 UTC

Source

https://github.com/ryukinix/lisp-inference

Branch or tag

master

Last seen commit

71dbad899e29a28923ae9270063dcf0911c97fc3

Release

http://dist.ultralisp.org/archive/73/ryukinix-lisp-inference-20251026230622.tgz

Systems

lisp-inference.asd: lisp-inference, lisp-inference/tests, lisp-inference/web

Distributions

ultralisp

Last check

Finished 2 days 32 minutes ago. Next check will be made in 4 days 23 hours.