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-01-14 18:57:15 UTC
Source	https://github.com/ryukinix/lisp-inference
Branch or tag	master
Last seen commit	41b0a2b0c2ea2ba71d76104dfaeb00ed12434abc
Release	http://dist.ultralisp.org/archive/73/ryukinix-lisp-inference-20250114185707.tgz
Systems	lisp-inference.asd lisp-inference, lisp-inference/test, lisp-inference/web
Distributions	ultralisp
Last check	Finished 6 days 13 hours ago. Next check will be made in 10 hours 56 minutes.