A local-first multimodal knowledge platform for managing entities, relationships, and spatial data through a unified graph interface, Prolog rules engine, and content-addressed blob store.

Unofficial implementation of the IRS Fact Graph in Prolog

A high-performance bridge between Scryer Prolog and Python.

a Prolog interpreter aiming to be embeddable, based on van Emden's ABC algorithm

PostgreSQL Prolog language handler

Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.

Web playground to try Scryer Prolog in your browser!

DocLog builds documentation from source code in Prolog

Pra2do allows you to create interactive applications in Prolog

An open source Prolog interpreter in JavaScript

Template engine for ISO Prolog, based on Jinja and Tera

A Prolog library to connect to PostgreSQL databases

Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation in PKPD.

GNU Prolog

Scryer HTTP Server dev version and test suite

An Emacs Dynamic Module for WebKit, aka a fully fledged browser inside emacs

my resume + quine

A typed Prolog interpreter in Julia

An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.

Dagstuhl's Happy Diner Problem

List of resources about programming practices for writing safety-critical software.

This is a collection of readings, talks, and other bits regarding the field of Resilience Engineering

The sources of the first theorem prover.

Prolog description of the relationship between a number and its full Russian name.

Implementation of the GRASP algorithm for solving social golfers problems

Introduction to modern Prolog

A curated list of awesome infosec courses and training resources.

Nayuki's implementation of cryptographic primitives used in Bitcoin.

Reason about Bitcoin addresses with Prolog