13
2
Conway's Game of Life in Prolog (manzikert.ca)
1
A local-first multimodal knowledge platform for managing entities (github.com/mat-mgm)
2
From Taxman to VATmiraal: Fifty Years of Teaching Machines the Law (vatmiraal.be)
1
Prolog Implementation of the IRS Fact Graph (github.com/alexpetros)
1
Tax Logic Evaluation with Prolog (github.com/mthom)
2
A simple online forum written in Prolog (github.com/danilp-id)
7
Forth VM and compiler written in C++ and Scryer Prolog (github.com/no382001)
1
A high-performance bridge between Scryer Prolog and Python (github.com/sporeking)
1
Simple Maturin Based Python Bindings to Scryer Prolog (github.com/philzook58)
2
A lightweight, embeddable Prolog interpreter written in C11 (github.com/no382001)
1
Blue Prince Clock Tower (CLP(Z), Scryer) (liminal.cafe)
2
Pokemon Draft Tools in Prolog (github.com/alexpetros)
1
Flowlog: An ISO-style Prolog system with faster search on multicore CPUs (liminal.cafe)
2
A simple graph database implementation running on Scryer Prolog (github.com/argahsuknesib)
8
Dogalog: A realtime Prolog-based livecoding music environment (github.com/danja)
1
Towards an Implementation-Independent Interface for Semantic Web in Prolog [pdf] (github.com/kiyoshi364)
1
Transforming legal texts into computational logic (sciencedirect.com)
1
Scryer Prolog library for Datomic: https://github.com/jjtolton/scrytomic
2
Python Integration for Scryer Prolog Using FFI (Research Project) (github.com/jjtolton)
9
Stack based Prolog. Cool thing you can do with DCGs (reddit.com)
2
Hatch Act Guidance on Social Media [pdf] (osc.gov)
6
Global key-value metadata storage for Scryer Prolog (github.com/jjtolton)
2
Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP (github.com/adamrybinski)
2
Qupak: Pattern Matching for Prolog with library(reif) (github.com/bakaq)
1
Scryer Prolog v0.10.0 is out (github.com/mthom)
8
PProlog: A Prolog for Plan 9 (pmikkelsen.com)
2
Take: Process file lines with a logic-based language (github.com/damianoazzolini)
1
Semantic Web Interface for Prolog (gitlab.com/hashi364)
2
Dose-Escalation Trial Protocols That Extend Naturally to Admit Titration (arxiv.org)
1
Lisp and Prolog Appear in the European Commission's EGovernment Benchmark 2025 (github.com/mthom)
7
Recreational programming: Tacit programming in Prolog (github.com/mthom)
1
A C embedding API for Scryer Prolog (github.com/bakaq)
1
The Mathematics of a Mario Kart 64 Tournament [video] (youtube.com)
1
The Third Annual Scryer Prolog Meetup (github.com/mthom)
1
Implementing Clpfd in N-Prolog: An Experience (medium.com/kenichisasagawa)
2
Pkg.pl: An experimental package manager for Scryer Prolog (github.com/bakaq)
2
Comparison of Implementations of Dif/2 (tuwien.ac.at)
1
Add Prolog Query Subscription Support (github.com/coasys)
1
The Semantics of Testing. Also, Quads (github.com/mthom)
4
Scryer Prolog NPM package (experimental) (github.com/guregu)
1
Clojure Bindings for Scryer Prolog (github.com/jjtolton)
1
Pure regex implementation using rational trees and if_/3 (github.com/mthom)
1
A Card Game Using Scryer Prolog (github.com/kasbah)
1
Dose Escalation Designs in Universal Context of Titration for Oncology (github.com/precisfice)
1
Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis (arxiv.org)
1
Scryer Prolog Solutions to Advent of Code 2024 (github.com/jasagredo)
1
Embedded Scryer Prolog powering video game AI, slides from Scryer Meetup talk (github.com/mthom)
1
2025 Goals for Scryer Prolog (github.com/mthom)
1
Enhancing Mathematical Reasoning in LLMs with Background Operators (arxiv.org)
1
Native compilation of Prolog predicates: Scryer Prolog JIT compiler [video] (youtube.com)
2
Constrained Traversal in Prolog (monotonic.tech)
1
AWS IAM simulator: Prolog module that stores IAM policies and actions (github.com/dnmfarrell)
1
Prolog DCG to match string patterns (github.com/dnmfarrell)
2
Scryer Prolog: The fourth iteration of rebis-dev is out (github.com/mthom)
19
Developing a Go bot embedding Ichiban Prolog (rogersm.net)
3
What is the role of Prolog in AI in 2024? (reddit.com)
1
From a Python function to a relation (a short personal essay) (github.com/mthom)
1
Linguistic "Power" of Definite Clause Grammars? (github.com/mthom)
1
Some novel features of Scryer Shen (github.com/mthom)
1
Reliable Reasoning Beyond Natural Language (arxiv.org)
1
Analysing protection systems for giant particle accelerators (github.com/mthom)
1
Christian Jendreiko on Generative Logic, Teaching Prolog in Art&Design [video] (youtube.com)
74
Prolog language for PostgreSQL proof of concept (github.com/tatut)
1
A Mathematical Modeling Library in Prolog with Answer Constraint Semantics (arxiv.org)
1
Teletext: ANSI Escape Sequences in Scryer Prolog (github.com/aarroyoc)
1
Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation (acm.org)
1
Generative Senses: A Prolog Exercise (dstrohmaier.com)
2
Solutions to Advent of Code 2023 with Scryer-Prolog (github.com/jasagredo)
1
Void Linux installer implemented in GNU Prolog (github.com/sdbtools)
2
Scryer Prolog version 0.9.3 is out (github.com/mthom)
0
Debugging Trait Errors as Logic Programs (arxiv.org)
2
Constrained.pl: Prolog predicates using constraints to make them more flexible (github.com/bakaq)
2
Scryer Playground – Run Scryer Prolog on the Browser (play.scryer.pl)
1
Basic WebAssembly Support in Scryer Prolog (github.com/mthom)
2
Scryer-Prolog 0.9.2 (github.com/mthom)
2
Release v1.1.0 of PostgreSQL-Prolog (github.com/mthom)
2
Load Balancing in WASM Libraries (guregu.bearblog.dev)
1
The First Annual Scryer Prolog Meetup (github.com/mthom)
1
Strategies for ensuring correctness in dynamically typed languages? (reddit.com)
2
Automatic Differentiation in Prolog (arxiv.org)
1
Examples of parser generators or compiler-compilers in Prolog? (reddit.com)
3
The Land of Logic Programming (twitter.com/aarroyoca)
1
The Land of Logic Programming According to GitHub (anvaka.github.io)
7
Good Languages for Writing Compilers In? (reddit.com)
2
Speculations about Transformers and Compositionality (dstrohmaier.com)
2
Prolog Programming for the Java Platform (github.com/s-webber)
2
Web development with Tau Prolog [pdf] (sistedes.es)
2
Raylib bindings to Scryer Prolog using library(FFI) (github.com/aarroyoc)
2
Trealla Prolog Templates for Spin (github.com/guregu)
2
Best Free Prolog Courses to Take in 2023 (classcentral.com)
3
A Prolog assisted search for new simple Lie algebras (arxiv.org)
48
An online IDE for visual programming in Prolog (github.com/toblotron)
3
An online IDE for visual programming in Prolog (github.com/toblotron)
2
Djota: A Djot Implementation in Prolog (github.com/aarroyoc)
27
Prolog at Work (reddit.com)
1
Symbolic Analysis of Grants (brz.gv.at)
1
Advent of Code 2022 in Prolog (reddit.com)
1
Scryer Prolog IRC-Channel (reddit.com)
1