logic-programming topic

A continuation-based backtracking logic programming monad

Bodigrim

Deep relational learning through differentiable logic programming.

GustikS

Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some diff...

microsoft

A Prolog-like language as a Swift Embedded Domain Specific Language.

kyouko-taiga

Logic programming, for Rust, from inside Rust.

sdleffler

Debug Adapter Protocol (DAP) implementation for SWI-Prolog

eshelyaron

Embedding a Prolog-like logic programming language in JavasScript and TypeScript.

xieyuheng

combining wikidata and clojure core.logic

mountain

Datalog that's as easy as ABC.

HarvardPL