logic-programming topic

An open source Prolog interpreter in JavaScript

tau-prolog

An interpreter for learning and exploring pure λ-calculus

slovnicki

The only reasonable scripting engine for Go.

ichiban

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 query...

yuce

Shen language kernel sources for porters

Shen-Language

Implementation for the Neural Logic Machines (NLM).

google

A Compiler for the Popr Language

HackerFoo

A new logic programming language.

mcsoto

Deep Learning and Logical Reasoning from Data and Knowledge

logictensornetworks

A Julia package for Prolog-style logic programming.

ztangent