-
scryer-prolog Public
Forked from mthom/scryer-prologA modern Prolog implementation written mostly in Rust.
-
the-power-of-prolog Public
The Power of Prolog: Introduction to modern Prolog
-
clpb Public
Boolean Constraint Solving in Prolog
-
presprover Public
Prove formulas of Presburger Arithmetic
-
ediprolog Public
Emacs Does Interactive Prolog
-
simsttab Public
Simple timetabling engine for schools
-
bitcoinolog Public
Reason about Bitcoin addresses with Prolog
-
clpz Public
Constraint Logic Programming over Integers
-
lisprolog Public
Interpreter for a simple Lisp. Written in Prolog.
-
trs Public
Reason about Term Rewriting Systems
-
precautionary Public
Forked from dcnorris/precautionaryPatient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation in PKPD.
R Other UpdatedNov 29, 2021 -
scc Public
Strongly Connected Components of a Graph
-
clpfd Public
Constraint Logic Programming over Finite Domains
-
proloxy Public
Prolog Reverse Proxy
-
letswicrypt Public
Prolog HTTPS Servers
-
Brachylog Public
Forked from JCumin/BrachylogA terse declarative logic programming language
{{ message }}