Skip to content
Avatar
402 followers · 70 following

Achievements

Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3
BetaSend feedback

Organizations

@SWI-Prolog
Block or Report

Block or report triska

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. bitcoinolog Public

    Reason about Bitcoin addresses with Prolog

    Prolog 16 5

  2. clpb Public

    Boolean Constraint Solving in Prolog

    Prolog 29 5

  3. clpz Public

    Constraint Logic Programming over Integers

    Prolog 144 13

  4. presprover Public

    Prove formulas of Presburger Arithmetic

    Prolog 6 2

  5. simsttab Public

    Simple timetabling engine for schools

    Prolog 20 8

  6. the-power-of-prolog Public

    Introduction to modern Prolog

    HTML 1k 58

280 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

December 2022

Created 3 commits in 1 repository

Created a pull request in mthom/scryer-prolog that received 1 comment

introduce and use deref_register(n)

Please review, and merge if applicable. Many thanks!

+187 −224 • 1 comment
Opened 2 other pull requests in 1 repository

Created an issue in mthom/scryer-prolog that received 6 comments

How to ensure proper dereferencing?

Take for example #1650: Even though this specific issue was addressed via d660e42 (thank you a lot!), the question remains: How can we detect and a…

6 comments
Opened 3 other issues in 1 repository

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