Three Prolog fundamentals that I wish I'd understood earlier

Announcing my Prolog LSP implementation and discussing how it was implemented

If you're trying to pass an input file stream from Prolog to a foreign function, this may be useful. For the rest of you, hopefully it's at least somewhat interesting.

I got sucked in to golfing a logic puzzle and managed to nerd-snipe myself into implementing a simple way to say “all of these list of variables are different”; this is that story.

It was a surprising amount of work, but I've built a pure-Prolog HTTP/2 client library.

Very particular circumstances led me to wanting a pure-Prolog implementation of SHA-1; if you're in the same boat, this may be useful!

Inverting the Mersenne Twister Temper in Prolog