Calysto / calysto_prologLinks
A Prolog kernel for Jupyter
☆60Updated 6 years ago
Alternatives and similar repositories for calysto_prolog
Users that are interested in calysto_prolog are comparing it to the libraries listed below
Sorting:
- A Jupyter Kernel for SWI-Prolog☆25Updated 6 years ago
- A tutorial for DCG's in swi-Prolog☆35Updated 4 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- MiniZinc documentation☆16Updated 2 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Haskell bindings to SymEngine☆25Updated last year
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- Prolog stuff☆28Updated 5 years ago
- Haskell bindings for Python☆102Updated 4 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆76Updated last month
- A collection of Prolog libraries.☆88Updated 9 months ago
- Resolution theorem proving for predicate logic in pure Python.☆95Updated last year
- Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)☆58Updated 12 years ago
- 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
- CHR: Leuven Constraint Handling Rules☆26Updated last month
- Regular expressions for Prolog☆17Updated 7 years ago
- A new logic programming language.☆175Updated last year
- A Jupyter kernel for Logtalk☆13Updated this week
- Optional types for Prolog☆11Updated 6 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- SWI-Prolog dynamic C interface☆17Updated 9 months ago
- PRolog Equation Solving System☆30Updated 8 years ago
- CLP(BNR) module for SWI-Prolog☆44Updated last month
- The SWI-Prolog HTTP server and client libraries☆26Updated last week
- Jupyter kernel for Racket☆96Updated 3 weeks ago
- Pads format description language☆21Updated 9 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆19Updated 2 months ago
- Example Problems and Assignments for Prolog☆33Updated 12 years ago
- The Nomyx game☆84Updated last year