Projects in Awesome Lists tagged with deductive-inference
A curated list of projects in awesome lists tagged with deductive-inference .
https://github.com/catseye/cardboard-prolog
MIRROR of https://codeberg.org/catseye/Cardboard-Prolog : A bare-bones inference engine in 120 lines of purely functional Scheme
deductive-inference didactic inference-engine logic-programming prolog-interpreter pure-functional
Last synced: 27 Feb 2026
https://github.com/seagat2011/shaughnessy
A general purpose declarative programming language
algorithms declarative-language declarative-programming deductive-inference domain-specific-languages frameworks inductive-program-synthesis languages programming-by-example search-based-synthesis shaughnessy
Last synced: 07 Jan 2026
