# mcsoto/LogicJS

Logic programming for JavaScript.

Repository: https://github.com/mcsoto/LogicJS
Canonical: https://ross.abutalabs.com/products/logicjs
Language: JavaScript
License: MIT
License Family: permissive
Last push: 2016-08-17T15:42:33+00:00

## Health v2 (maintenance only)
Score: 32/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 0, release rhythm 35, longevity 100
- inputs: {"age_days": 4666, "days_push": 3668, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: no_releases
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1032, forks 26 (observed 2026-08-28T04:03:18.235478+00:00)

## What it is
LogicJS is a JavaScript library that brings logic programming (in the style of Prolog and miniKanren) to JavaScript. It provides logic variables, goals, unification, and arithmetic constraints so developers can write declarative relational programs.

## Use cases
- run logic programming / prolog-style queries in javascript
- solve constraint problems like x + 2 = 6 in JS
- unify logic variables and get all possible answers
- define relational relations like father/grandfather and query them
- embed declarative goal-based search in a JavaScript app

## When to choose
- you want miniKanren/Prolog-style relational programming inside JavaScript or Node.js
- you need small constraint solving or unification without a heavy dependency
- you want a lightweight, MIT-licensed library you can drop into a project

## When to avoid
- you need a full-featured Prolog implementation with cut, I/O, and a large standard library
- you need actively maintained software with recent releases and ongoing support
- you need high-performance constraint solving for large search spaces

## Facets
- artifact type: library
- maturity: maintenance
- function: interpreter, parser, developer-tools
- domain: programming-languages, developer-tools
- platform: browser
- tags: logic-programming, prolog, unification, constraint-solving, relational-programming, algorithms, nodejs, javascript

## Member repositories
- mcsoto/LogicJS (main) score 32

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:03:18.235478+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T07:06:45.390342+00:00, confidence not recorded.
  - readme: https://github.com/mcsoto/LogicJS (fetched 2026-08-28T04:03:18.235478+00:00, sha b01384c4abcf)
- Data as of 2026-08-30T08:39:29.467469+00:00.