SWI-Prolog / swiplLinks
SWI-Prolog stable releases
☆226Updated 5 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☆526Updated last month
- SWI-Prolog Main development repository☆1,075Updated this week
- Logtalk - declarative object-oriented logic programming language☆451Updated last week
- Canonical miniKanren implementation☆357Updated 7 years ago
- The Mercury logic programming system.☆948Updated this week
- Constraint Logic Programming over Finite Domains☆182Updated 5 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated last year
- GNU Prolog☆121Updated last month
- Poly/ML☆504Updated last week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆303Updated 6 months ago
- The HOL Light theorem prover☆457Updated last week
- Typed Racket☆541Updated last week
- A VS Code extension that provides language support for prolog☆101Updated last year
- CakeML: A Verified Implementation of ML☆1,047Updated this week
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆124Updated 3 years ago
- Mozart Programming System v2☆583Updated 3 months ago
- A port of Coq to Javascript -- Run Coq in your Browser☆525Updated 7 months ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆200Updated 9 months ago
- Constraint Logic Programming over Integers☆201Updated last year
- ☆432Updated last year
- Shen language kernel sources for porters☆376Updated 9 months ago
- Embeddable Lambda Prolog Interpreter☆312Updated last week
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆214Updated 2 years ago
- git mirror of the Munich isabelle hg repository☆125Updated last month
- Prolog Tutorials and Information☆171Updated 6 years ago
- This repo is the new home of Proof General☆517Updated last week
- CHICKEN is a compiler for the Scheme programming language. CHICKEN produces portable, efficient C, supports almost all of the current Sch…☆135Updated 15 years ago
- JPL: The Prolog <-> Java interface☆54Updated last month
- Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…☆668Updated this week
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆343Updated last year