Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

A modern Prolog implementation written mostly in Rust.

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Introduction to modern Prolog

SWI-Prolog Main development repository

The only reasonable scripting engine for Go.

An open source Prolog interpreter in JavaScript

Some simple examples for new Prolog programmers

Curated list of Prolog packages and resources

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

Logtalk - declarative object-oriented logic programming language

My public programs and models - mostly combinatorial problems and puzzles

(Updating!) Architect's Kung Fu tutorial collection Article collection contains paradigm programming microservices essential algorithms Security attack Assembly Crawler Reverse penetration test...etc.

Shen language kernel sources for porters

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

A batteries-included kit for knowledge graphs

A compact, efficient Prolog interpreter written in plain-old C.

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

An in-memory datalog implementation for OCaml.