Logic programming Packages

Implementation of the relational algebra

No dependency mini-library: unification, deep equivalence, deep cloning, logical solver.

JSL is a JSON based logic programming library meant for embedded use

Logic programming for JavaScript. Using ES6 modules.

Running Twelf as a webassembly binary in a web page

This is an extension to the beautiful [logicjs](https://npm.im/logicjs) logic programming library. This extension enables you to use spreads of variables in `list`s, which enables you to use common Prolog idioms.

Dusa is an implementation of [finite-choice logic programming](https://arxiv.org/abs/2405.19040), which takes ideas from logic programming in both Datalog and answer set programming.