triska/proloxy

Stars
17
Rank 1,219,364 (Top 25 %)
Language
Prolog
Created almost 9 years ago
Updated about 6 years ago

triska/proloxy

triska

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Prolog Reverse Proxy

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.

ediprolog

Emacs Does Interactive Prolog

letswicrypt

Prolog HTTPS Servers

clpb

Boolean Constraint Solving in Prolog

simsttab

Simple timetabling engine for schools

bitcoinolog

Reason about Bitcoin addresses with Prolog

trs

Reason about Term Rewriting Systems

presprover

Prove formulas of Presburger Arithmetic

scc

Strongly Connected Components of a Graph