Stories by triska

ÆPIC Leak: Architecturally leaking uninitialized data from the microarchitecture [pdf]

Trealla Prolog embedded in Go using WASM

A Prolog assisted search for new simple Lie algebras

Ciao Prolog Playground

Backtracking through Time and Space in Erlang [video]

Imagining Prolog on Web Scale

Serverless Prolog for Cloudflare Workers

Rules and Visual Syntax in Praxis

A Preview of Praxis: Visual Programming in Prolog

Hashlog: A Simple Datalog in OCaml

Resources on Modern Prolog

Alain Colmerauer L'Aventure Prolog

Scryer Prolog v0.9.0: Greatly improved performance and many enhancements

Is Datalog a good language for authorization?

Prolog in Forth

MIPSie: A Prolog MIPS Emulator

An embeddable Prolog scripting language for Go

Fiftieth Anniversary of Prolog [pdf]

Scryer Prolog development milestone: The second iteration of Rebis is out

Extending Repair Workflows with Logic Programming

1 2 3 4 5 6