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

• UpdatedOct 1, 2024
• HTML

A modern Prolog implementation written mostly in Rust.

• UpdatedMar 15, 2025
• Rust

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

• UpdatedMar 4, 2025
• Jupyter Notebook

The Power of Prolog: Introduction to modern Prolog

• UpdatedFeb 10, 2025
• HTML

SWI-Prolog Main development repository

• UpdatedMar 16, 2025
• C

The only reasonable scripting engine for Go.

• UpdatedNov 24, 2024
• Go

Some simple examples for new Prolog programmers

• UpdatedNov 4, 2022
• Prolog

An open source Prolog interpreter in JavaScript

• UpdatedJan 30, 2023
• JavaScript

Curated list of Prolog packages and resources

• UpdatedAug 24, 2022

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

• UpdatedDec 12, 2024
• Python

Logtalk - declarative object-oriented logic programming language

• UpdatedMar 17, 2025
• Prolog

My public programs and models - mostly combinatorial problems and puzzles

• UpdatedDec 25, 2024
• JavaScript

Shen language kernel sources for porters

• UpdatedAug 10, 2024
• Shen

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

• UpdatedJan 9, 2025
• HTML

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

• UpdatedMar 11, 2025
• Python

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

• UpdatedNov 15, 2024
• Prolog

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

• UpdatedJul 11, 2023
• Prolog

A batteries-included kit for knowledge graphs

• UpdatedApr 29, 2021
• Python

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

• UpdatedMar 17, 2025
• C

An in-memory datalog implementation for OCaml.

• UpdatedOct 17, 2024
• Prolog