Recent Posts

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