SWI-Prolog Main development repository

Some simple examples for new Prolog programmers

A modern Prolog implementation written mostly in Rust.

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

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

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

A Knowledge Base System for Cognition-enabled Robots

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

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

The Power of Prolog: Introduction to modern Prolog

My public programs and models - mostly combinatorial problems and puzzles

An open source Prolog interpreter in JavaScript

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

Shen language kernel sources for porters

A batteries-included kit for knowledge graphs

Curated list of Prolog packages and resources

Logtalk - declarative object-oriented logic programming language

random stuff in prolog

The only reasonable scripting engine for Go.

Translate XML Schema into equivalent JSON Schema