noxdafox / iclips
CLIPS Jupyter console
☆14Updated 11 months ago
Related projects: ⓘ
- An introduction to the basic ideas of commutative algebra☆16Updated 4 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- A Jupyter Kernel for SWI-Prolog☆24Updated 5 years ago
- A Prolog kernel for Jupyter☆59Updated 5 years ago
- A corpus of Python programs annotated with contracts☆20Updated 2 years ago
- Metamath verifier in Python☆35Updated 5 months ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆68Updated 7 months ago
- ClioPatria provides an RDF application platform☆51Updated 6 months ago
- Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.☆55Updated 5 months ago
- pylog: an implementation of Prolog features in Python☆34Updated last year
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆25Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆21Updated 3 months ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆21Updated 10 years ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- Simple timetabling engine for schools☆23Updated 2 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Logic Programming in Python☆30Updated 2 years ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Updated 3 months ago
- My unofficial picat http://picat-lang.org/ repository☆26Updated 8 months ago
- Regular expressions for Prolog☆17Updated 7 years ago
- Straightforward unification in Python that's extensible via generic functions.☆40Updated 2 weeks ago
- Final Year Masters Project: modal logic solver tableaux☆21Updated 2 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 3 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- ☆73Updated 3 years ago
- An inference engine for extensional untyped λ-calculus☆17Updated last year
- Intuitionistic Programming Language☆11Updated 10 years ago
- A VS Code extension supporting for Picat language☆16Updated 5 years ago
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago