Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: deductive-inference

sermoz/dyrel.py

Dynamic relational engine embedded in Python

Size: 1.95 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

catseye/Cardboard-Prolog

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

Language: Scheme - Size: 3.91 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 0

Seagat2011/SHAUGHNESSY

A general purpose declarative programming language

Size: 53.7 KB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

Related Keywords
deductive-inference 3 shaughnessy 1 search-based-synthesis 1 programming-by-example 1 languages 1 inductive-program-synthesis 1 frameworks 1 domain-specific-languages 1 declarative-programming 1 declarative-language 1 algorithms 1 pure-functional 1 prolog-interpreter 1 logic-programming 1 inference-engine 1 didactic 1 relational 1 reactive 1 live 1 incremental 1 datalog 1