Stories by triska

A Mathematical Modeling Library in Prolog with Answer Constraint Semantics

Teletext: ANSI Escape Sequences in Scryer Prolog

Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation

Generative Senses: A Prolog Exercise

Solutions to Advent of Code 2023 with Scryer-Prolog

Void Linux installer implemented in GNU Prolog

Scryer Prolog version 0.9.3 is out

Debugging Trait Errors as Logic Programs

Constrained.pl: Prolog predicates using constraints to make them more flexible

Scryer Playground – Run Scryer Prolog on the Browser

Basic WebAssembly Support in Scryer Prolog

Scryer-Prolog 0.9.2

Release v1.1.0 of PostgreSQL-Prolog

Load Balancing in WASM Libraries

The First Annual Scryer Prolog Meetup

Strategies for ensuring correctness in dynamically typed languages?

Automatic Differentiation in Prolog

Examples of parser generators or compiler-compilers in Prolog?

The Land of Logic Programming

1 2 3 4 5 6