hhu-stups / prolog-jupyter-kernelLinks
A Jupyter kernel for Prolog
☆22Updated last year
Alternatives and similar repositories for prolog-jupyter-kernel
Users that are interested in prolog-jupyter-kernel are comparing it to the libraries listed below
Sorting:
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated 2 weeks ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Updated 4 years ago
- DocLog builds documentation from source code in Prolog☆28Updated 8 months ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Boolean Constraint Solving in Prolog☆48Updated 9 months ago
- Discuss future development☆21Updated 10 years ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 7 months ago
- Template engine for ISO Prolog, based on Jinja and Tera☆18Updated last year
- A Jupyter kernel for Logtalk☆13Updated last month
- ☆59Updated this week
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆35Updated 4 months ago
- Slog 1.0☆43Updated last year
- Fast, simplified WAM-based Prolog system☆24Updated 4 months ago
- GNU Prolog☆129Updated 5 months ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆13Updated 3 weeks ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆25Updated last year
- YAP Development release☆16Updated 4 years ago
- Yes, Erlang in SWI-Prolog!☆11Updated 7 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆313Updated 3 months ago
- Grammatical Framework core: compiler, shell & runtimes☆140Updated last week
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆41Updated 6 months ago
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 10 months ago
- Embeddable Lambda Prolog Interpreter☆326Updated this week