Skip to content


  • Arctic Code Vault Contributor
  • Pro




  1. Reason about Bitcoin addresses with Prolog

    Prolog 9 4

  2. Boolean Constraint Solving in Prolog

    Prolog 21 2

  3. Constraint Logic Programming over Integers

    Prolog 80 10

  4. Prove formulas of Presburger Arithmetic

    Prolog 4 1

  5. Simple timetabling engine for schools

    Prolog 9 4

  6. Introduction to modern Prolog

    HTML 734 41

691 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

November 2020

Opened 1 pull request in 1 repository
1 merged

Created an issue in infradig/trealla that received 16 comments

Please consider using strings for file names and paths

Please consider using strings (lists of characters) to represent paths and file names. The reason is that strings can be easily reasoned about with…

Opened 6 other issues in 3 repositories

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.