Ross ROSS = Recommend OSS · open-source software intelligence for agents

mcsoto/LogicJS

Logic programming for JavaScript. observed · 2026-08-28

github.com/mcsoto/LogicJS · JavaScript · MIT (permissive) observed · 2026-08-28

Health v2 · maintenance only

32/100

  • Activity 0
  • Release rhythm 35
  • Longevity 100

Flags: no_releases

How is this computed?

round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.

  • gap_med: n/a
  • age_days: 4666
  • days_rel: n/a
  • days_push: 3668
  • n_releases_24m: 0

Full methodology

Adoption not part of the score

1032 stars · 26 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

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

library · maturity maintenance

interpreter parser developer-tools programming-languages developer-tools browser logic-programming prolog unification constraint-solving relational-programming algorithms nodejs javascript

1 source

Member repositories

RepositoryRoleHealth v2
mcsoto/LogicJSmain32

For agents

markdown · JSON · MCP: product_card(name="mcsoto/LogicJS")

Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem