#

deductive-inference

Here are 2 public repositories matching this topic...

catseye / Cardboard-Prolog

MIRROR of https://codeberg.org/catseye/Cardboard-Prolog : A bare-bones inference engine in 120 lines of purely functional Scheme

didactic prolog-interpreter logic-programming inference-engine pure-functional deductive-inference

Updated Nov 30, 2022
Scheme

Seagat2011 / SHAUGHNESSY

A general purpose declarative programming language

algorithms languages declarative-language frameworks declarative-programming programming-by-example inductive-program-synthesis domain-specific-languages deductive-inference search-based-synthesis shaughnessy

Updated Aug 11, 2019

Improve this page

Add a description, image, and links to the deductive-inference topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the deductive-inference topic, visit your repo's landing page and select "manage topics."