triska 的提交内容

From a Python function to a relation (a short personal essay)

Linguistic "Power" of Definite Clause Grammars?

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