prolog

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 StandardSQL and runs on Google BigQuery.

Introduction to modern Prolog

SWI-Prolog Main development repository

Some simple examples for new Prolog programmers

An open source Prolog interpreter in JavaScript

Curated list of Prolog packages and resources

The only reasonable scripting engine for Go.

PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.

(🆕更新中！)《架构师的功夫》教程合集、文章合集包含 范式编程、微服务、必备算法、安全攻防、汇编、爬虫、逆向、渗透测试...

My public programs and models - mostly combinatorial problems and puzzles

Logtalk - declarative object-oriented logic programming language

The Official Shen Sources

A batteries-included kit for knowledge graphs

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

An in-memory datalog implementation for OCaml.

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

A new logic programming language.

A state of the art knowledge base