Efficient MeTTa language implementation in Prolog.

Refactoring Tools for SWI-Prolog

A browser based PROLOG interpreter.

SWI-Prolog WebAssembly build as a NPM package

GNU-Emacs interface that embeds Prolog as an Emacs module

logic programming with SPARQL

Prolog binding for terminusdb-store

Debug Adapter Protocol (DAP) implementation for SWI-Prolog

Primary source of truth for the Docker "Official Images" program

Main development repository

CLP(BNR) module for SWI-Prolog

SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

cplint is a suite of programs for reasoning with probabilistic logic programs

The MacPorts ports tree

Programming in Tabled Prolog by David S Warren

PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.

OWL2 library for Prolog

A heap memory profiler for Linux

Parser for Attempto Controlled English (ACE)

🍻 Default formulae for the missing package manager for macOS (or Linux)

[Archived] Edit Thunderbird emails in an external text editor

Run SWI-Prolog in your browser using WebAssemply

SWI-Prolog ported to WebAssembly

Emscripten: An LLVM-to-WebAssembly Compiler

A massively spiffy yet delicately unobtrusive compression library.

A 64-bit OS for the Raspberry Pi 3

Docker images for SWI-Prolog