Leave feedback Log In

Ultralisp.org ^{includes two thousand three
hundred twenty projects}

Try: package:"reblocks/actions" to search all symbols exported from a package.

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

Waiting in the queue. Position: 453.