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-08-19 21:02:34 UTC
Source	https://github.com/ryukinix/lisp-inference
Branch or tag	master
Last seen commit	d4dce2d6f90c8a4cb78aa64d84762d366c4406c8
Release	http://dist.ultralisp.org/archive/73/ryukinix-lisp-inference-20250819210226.tgz
Systems	lisp-inference.asd lisp-inference, lisp-inference/tests, lisp-inference/web
Distributions	ultralisp
Last check	Finished 4 days 14 hours ago. Next check will be made in 2 days 9 hours.