Stories by triska

Trealla Prolog for the Web

How does control flow happen in declarative programming languages?

Music Notation Grammar

PHP: Prolog Home Page

Æ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

1
2
3
4
5