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

Dusa is a logic programming language that has features of both Datalog and answer set programming.

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.