2rs2ts / pyswip_envctrlLinks
An environment control module expert system written in PySWIP.
☆11Updated 12 years ago
Alternatives and similar repositories for pyswip_envctrl
Users that are interested in pyswip_envctrl are comparing it to the libraries listed below
Sorting:
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 2 weeks ago
- ☆109Updated 6 years ago
- A Prolog kernel for Jupyter☆60Updated 6 years ago
- Constraint Logic Programming over Finite Domains☆182Updated 5 years ago
- First Order Inductive Learner (FOIL) algorithm implemented in Python☆51Updated 11 years ago
- Markov Logic Networks in Python☆136Updated 4 years ago
- End-to-End Differentiable Proving☆89Updated 6 years ago
- YAP Development release☆14Updated 4 years ago
- Metagol - an inductive logic programming system☆202Updated 3 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆76Updated last month
- A Sparse Distributed Memory Framework.☆44Updated 5 years ago
- A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge (facts) from text.☆20Updated 7 years ago
- CHR: Leuven Constraint Handling Rules☆26Updated last month
- deep learning for math☆30Updated 6 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Updated 7 years ago
- teach the computer your language☆113Updated 5 years ago
- Prolog HTTPS Servers☆37Updated 7 years ago
- Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.☆48Updated 7 years ago
- A Jupyter Kernel for SWI-Prolog☆25Updated 6 years ago
- AIXIjs - General Reinforcement Learning in the Browser☆147Updated 4 years ago
- Resolution theorem proving for predicate logic in pure Python.☆95Updated last year
- Differentiable Forth Interpreter☆72Updated 7 years ago
- Metamath verifier in Python☆40Updated 3 weeks ago
- Example Problems and Assignments for Prolog☆33Updated 12 years ago
- Web application that translates a user's natural language description into bash commands☆82Updated last year
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆36Updated 10 years ago
- Cornell Semantic Parsing Framework☆131Updated 5 years ago
- Course notes for CS323: Automated Reasoning☆42Updated 8 years ago