Search results

dusa

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.

• data
• database
• datalog
• logic programming

calculemus

• 0.1.6 • 6 months ago • 0 dependents • GPL-3.0-onlypublished version 0.1.6, 6 months ago0 dependents licensed under $GPL-3.0-only

lib-jsl

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

• logic programming
• rules based programming
• unification
• unifier
• JSON logic programming
• JSON unifier
• JSON rules based programming
• JS logic programming
• JS unifier
• JS rules based programming

kavi-saralweb

• 0.0.17 • 9 years ago • 1 dependents • MITpublished version 0.0.17, 9 years ago1 dependents licensed under $MIT

daonode

functional logic solver with builtin parser

• javascript
• language
• coffeescript
• daonode
• parser
• evaluator
• logic programming
• functional programming

chaosim

• 0.2.0 • 12 years ago • 0 dependentspublished version 0.2.0, 12 years ago0 dependents

logicjs-es6

Logic programming for JavaScript. Using ES6 modules.

• logic
• logicjs
• logic programming
• prolog
• es6

stromhalm

• 1.2.4 • 5 years ago • 0 dependents • ISCpublished version 1.2.4, 5 years ago0 dependents licensed under $ISC

relational.js

Implementation of the relational algebra

• relational
• algebra
• database
• rdbms
• trdbms
• truly-rdbms
• logic
• datalog
• prolog
• logic programming
• the third manifesto
• ttm
• tutorial d
• d

erikolson186

• 1.0.14 • 9 years ago • 0 dependents • MITpublished version 1.0.14, 9 years ago0 dependents licensed under $MIT

yopl

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

• logic programming
• solver
• logic solver

elazutkin

• 1.1.4 • a year ago • 0 dependents • BSD-3-Clausepublished version 1.1.4, a year ago0 dependents licensed under $BSD-3-Clause

logicjs-list-spread

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.

• logicjs
• logic programming
• logic
• prolog

cie

• 1.0.0 • 4 years ago • 0 dependents • ISCpublished version 1.0.0, 4 years ago0 dependents licensed under $ISC

twelf-wasm

Running Twelf as a webassembly binary in a web page

• twelf
• logic programming
• wasm

jcreed

• 0.1.8 • a year ago • 0 dependents • CC-BY-4.0published version 0.1.8, a year ago0 dependents licensed under $CC-BY-4.0