- A C embedding API for Scryer Prolog
by triska on 6/8/25, 7:30 PM, with comments
- The Third Annual Scryer Prolog Meetup
by triska on 5/8/25, 5:28 AM, with comments
- Pkg.pl: An experimental package manager for Scryer Prolog
by triska on 4/27/25, 9:52 PM, with comments
- Comparison of Implementations of Dif/2
by triska on 4/17/25, 8:23 PM, with comments
- Add Prolog Query Subscription Support
by triska on 2/26/25, 6:08 PM, with comments
- The Semantics of Testing. Also, Quads
by triska on 2/18/25, 4:42 PM, with comments
- Scryer Prolog NPM package (experimental)
by triska on 2/16/25, 1:04 PM, with comments
- Clojure Bindings for Scryer Prolog
by triska on 2/2/25, 8:17 PM, with comments
- Pure regex implementation using rational trees and if_/3
by triska on 1/7/25, 9:02 PM, with comments
- A Card Game Using Scryer Prolog
by triska on 1/3/25, 5:10 PM, with comments
- Dose Escalation Designs in Universal Context of Titration for Oncology
by triska on 12/25/24, 11:24 AM, with comments
- Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis
by triska on 12/23/24, 6:25 PM, with comments
- Scryer Prolog Solutions to Advent of Code 2024
by triska on 12/17/24, 8:47 PM, with comments
- Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk
by triska on 12/16/24, 5:34 PM, with comments
- 2025 Goals for Scryer Prolog
by triska on 12/15/24, 8:43 AM, with comments
- Enhancing Mathematical Reasoning in LLMs with Background Operators
by triska on 12/7/24, 9:23 AM, with comments
- Native compilation of Prolog predicates: Scryer Prolog JIT compiler [video]
by triska on 11/24/24, 9:56 AM, with comments
- Constrained Traversal in Prolog
by triska on 11/13/24, 6:38 PM, with comments
- AWS IAM simulator: Prolog module that stores IAM policies and actions
by triska on 10/19/24, 8:42 AM, with comments
- Prolog DCG to match string patterns
by triska on 10/17/24, 5:31 AM, with comments
- Scryer Prolog: The fourth iteration of rebis-dev is out
by triska on 9/24/24, 8:26 PM, with comments
- Developing a Go bot embedding Ichiban Prolog
by triska on 9/23/24, 7:08 PM, with comments
- What is the role of Prolog in AI in 2024?
by triska on 9/13/24, 6:25 PM, with comments
- From a Python function to a relation (a short personal essay)
by triska on 8/30/24, 7:57 PM, with comments
- Linguistic "Power" of Definite Clause Grammars?
by triska on 8/16/24, 3:46 PM, with comments
- Some novel features of Scryer Shen
by triska on 8/16/24, 6:12 AM, with comments
- Reliable Reasoning Beyond Natural Language
by triska on 7/19/24, 8:59 PM, with comments
- Analysing protection systems for giant particle accelerators
by triska on 7/6/24, 11:23 AM, with comments
- Prolog language for PostgreSQL proof of concept
by triska on 3/30/24, 9:36 AM, with comments
- A Mathematical Modeling Library in Prolog with Answer Constraint Semantics
by triska on 2/28/24, 7:02 PM, with comments