Klipse is a Javacript plugin for embedding interactive code snippets in tech blogs. A simple client-side code evaluator pluggable on any web page: clojure, ruby, javascript, python, scheme, es2017, jsx, brainfuck, c++, reagent, lua, ocaml, reasonml, prolog, common lisp

Introduction to modern Prolog

open source model driven graph database for knowledge graph representation.

A modern Prolog implementation written mostly in Rust.

Main development repository

Some simple examples for new Prolog programmers

Curated list of Prolog packages and resources

An open source Prolog interpreter in JavaScript

The Official Shen Sources

A batteries-included kit for knowledge graphs

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

An in-memory datalog implementation for OCaml.

Logtalk - declarative object-oriented logic programming language

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

A state of the art knowledge base

Free and open source A.I. system based on Python, TensorFlow and Prolog.

Interpreter for a simple Lisp. Written in Prolog.

Translate XML Schema into equivalent JSON Schema

Constraint Logic Programming over Finite Domains

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

A terse declarative logic programming language

explorations in core.logic

Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

Constraint Logic Programming over Integers

A collection of Prolog libraries.

The Ciao programming language

End-to-End Differentiable Proving

⚔️ Game of Thrones character database and family trees in Prolog