triska

Homepage:

https://www.metalevel.at

You are welcome, and you are welcome!

Posts

• A C embedding API for Scryer Prolog
  by triskaon 6/8/2025, 7:30 PMwith 0 comments
• The Third Annual Scryer Prolog Meetup
  by triskaon 5/8/2025, 5:28 AMwith 0 comments
• Pkg.pl: An experimental package manager for Scryer Prolog
  by triskaon 4/27/2025, 9:52 PMwith 0 comments
• Comparison of Implementations of Dif/2
  by triskaon 4/17/2025, 8:23 PMwith 0 comments
• Add Prolog Query Subscription Support
  by triskaon 2/26/2025, 6:08 PMwith 0 comments
• The Semantics of Testing. Also, Quads
  by triskaon 2/18/2025, 4:42 PMwith 0 comments
• Scryer Prolog NPM package (experimental)
  by triskaon 2/16/2025, 1:04 PMwith 3 comments
• Clojure Bindings for Scryer Prolog
  by triskaon 2/2/2025, 8:17 PMwith 0 comments
• Pure regex implementation using rational trees and if_/3
  by triskaon 1/7/2025, 9:02 PMwith 0 comments
• A Card Game Using Scryer Prolog
  by triskaon 1/3/2025, 5:10 PMwith 0 comments
• Dose Escalation Designs in Universal Context of Titration for Oncology
  by triskaon 12/25/2024, 11:24 AMwith 0 comments
• Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis
  by triskaon 12/23/2024, 6:25 PMwith 0 comments
• Scryer Prolog Solutions to Advent of Code 2024
  by triskaon 12/17/2024, 8:47 PMwith 0 comments
• Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk
  by triskaon 12/16/2024, 5:34 PMwith 0 comments
• 2025 Goals for Scryer Prolog
  by triskaon 12/15/2024, 8:43 AMwith 0 comments
• Enhancing Mathematical Reasoning in LLMs with Background Operators
  by triskaon 12/7/2024, 9:23 AMwith 0 comments
• Native compilation of Prolog predicates: Scryer Prolog JIT compiler [video]
  by triskaon 11/24/2024, 9:56 AMwith 0 comments
• Constrained Traversal in Prolog
  by triskaon 11/13/2024, 6:38 PMwith 0 comments
• AWS IAM simulator: Prolog module that stores IAM policies and actions
  by triskaon 10/19/2024, 8:42 AMwith 0 comments