Stories by triska

Some novel features of Scryer Shen

Reliable Reasoning Beyond Natural Language

Analysing protection systems for giant particle accelerators

Prolog language for PostgreSQL proof of concept

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

1
2
3
4
5