Pinned Loading

1. bitcoinolog bitcoinolog Public

   Reason about Bitcoin addresses with Prolog

   Prolog 21 5

2. clpb clpb Public

   Boolean Constraint Solving in Prolog

   Prolog 37 5

3. clpz clpz Public

   Constraint Logic Programming over Integers

   Prolog 185 15

4. presprover presprover Public

   Prove formulas of Presburger Arithmetic

   Prolog 7 2

5. simsttab simsttab Public

   Simple timetabling engine for schools

   Prolog 23 12

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

   Introduction to modern Prolog

   HTML 1.2k 76