triska 的提交内容

The Third Annual Scryer Prolog Meetup

Pkg.pl: An experimental package manager for Scryer Prolog

Comparison of Implementations of Dif/2

Add Prolog Query Subscription Support

The Semantics of Testing. Also, Quads

Scryer Prolog NPM package (experimental)

Clojure Bindings for Scryer Prolog

Pure regex implementation using rational trees and if_/3

A Card Game Using Scryer Prolog

Dose Escalation Designs in Universal Context of Titration for Oncology

Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis

Scryer Prolog Solutions to Advent of Code 2024

Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk

2025 Goals for Scryer Prolog

Enhancing Mathematical Reasoning in LLMs with Background Operators

Native compilation of Prolog predicates: Scryer Prolog JIT compiler [video]

Constrained Traversal in Prolog

AWS IAM simulator: Prolog module that stores IAM policies and actions

Prolog DCG to match string patterns

Scryer Prolog: The fourth iteration of rebis-dev is out

Developing a Go bot embedding Ichiban Prolog

What is the role of Prolog in AI in 2024?