Markus Triska

the-power-of-prolog. The Power of Prolog: Introduction to modern Prolog

clpz. Constraint Logic Programming over Integers

clpfd. Constraint Logic Programming over Finite Domains

lisprolog. Interpreter for a simple Lisp. Written in Prolog.

clpb. Boolean Constraint Solving in Prolog

ediprolog. Emacs Does Interactive Prolog

letswicrypt. Prolog HTTPS Servers

simsttab. Simple timetabling engine for schools

bitcoinolog. Reason about Bitcoin addresses with Prolog

proloxy. Prolog Reverse Proxy

trs. Reason about Term Rewriting Systems

presprover. Prove formulas of Presburger Arithmetic

scryer-prolog. A modern Prolog implementation written mostly in Rust.

scc. Strongly Connected Components of a Graph

Brachylog. A terse declarative logic programming language

precautionary. Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation in PKPD.