SWI-Prolog / swiplLinks
SWI-Prolog stable releases
☆225Updated 7 months ago
Alternatives and similar repositories for swipl
Users that are interested in swipl are comparing it to the libraries listed below
Sorting:
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆534Updated 3 months ago
- Mozart Programming System v2☆590Updated 5 months ago
- Constraint Logic Programming over Finite Domains☆182Updated 5 years ago
- SWI-Prolog Main development repository☆1,095Updated this week
- Canonical miniKanren implementation☆359Updated 7 years ago
- GNU Prolog☆125Updated 4 months ago
- Logtalk - declarative object-oriented logic programming language☆458Updated last week
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆350Updated last year
- Constraint Logic Programming over Integers☆204Updated last year
- YAP Development release☆15Updated 4 years ago
- The HOL Light theorem prover☆466Updated 3 weeks ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆200Updated 11 months ago
- git mirror of the Munich isabelle hg repository☆125Updated 3 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆156Updated last year
- Poly/ML☆507Updated last month
- Shen language kernel sources for porters☆378Updated 11 months ago
- Typed Racket☆545Updated 2 weeks ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆127Updated 3 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆164Updated 8 years ago
- The implementation of microKanren, a featherweight relational programming language☆311Updated 11 years ago
- JPL: The Prolog <-> Java interface☆55Updated this week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆310Updated last month
- nanopass compiler framework for Racket☆189Updated last year
- ☆433Updated last year
- Standard ML Compiler and Toolkit☆293Updated 6 months ago
- Learn Prolog Now LaTeX sources☆87Updated 2 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆154Updated 7 months ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆220Updated 2 years ago
- Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…☆677Updated last week