Pinned

1. bitcoinolog bitcoinolog Public

   Reason about Bitcoin addresses with Prolog

   Prolog 20 5

2. clpb clpb Public

   Boolean Constraint Solving in Prolog

   Prolog 32 5

3. clpz clpz Public

   Constraint Logic Programming over Integers

   Prolog 173 14

4. presprover presprover Public

   Prove formulas of Presburger Arithmetic

   Prolog 7 2

5. simsttab simsttab Public

   Simple timetabling engine for schools

   Prolog 22 10

6. the-power-of-prolog the-power-of-prolog Public

   Introduction to modern Prolog

   HTML 1.2k 66