There are 45 repositories under prolog topic.
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
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.
Logtalk - declarative object-oriented logic programming language
My public programs and models - mostly combinatorial problems and puzzles
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
Free and open source A.I. system based on Python, TensorFlow and Prolog.
Constraint Logic Programming over Finite Domains
A Julia package for Prolog-style logic programming.
Translate XML Schema into equivalent JSON Schema
Constraint Logic Programming over Integers
Ciao is a general purpose, multi-paradigm programming language in the Prolog family
A terse declarative logic programming language
:bamboo: Universal, Multi Language, Multi Paradigm code analyzer
explorations in core.logic
Rust implementation of µKanren, a featherweight relational programming language.
Tableau-based Theorem Prover for Natural Logic and Language
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
GNU-Make-like utility for managing builds and complex workflows
Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.