Life & fun · alternatives · 2026
24 alternatives to Embedding a Prolog-like logic programming language in JavasScript
Embedding a Prolog-like logic programming language in JavasScript and TypeScript. - xieyuheng/logic-db
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Embedding a Prolog-like logic programming language in JavasScript launched in 2021; newer entries below may have overtaken it.
- 1
The only reasonable scripting engine for Go. Contribute to ichiban/prolog development by creating an account on GitHub.
2021 · github.com · its alternatives →
- 2
A SQL database implemented purely in TypeScript type annotations. - codemix/ts-sql
2020 · github.com · its alternatives →
- 3WA
2016 · jamesbvaughan.com · its alternatives →
- 4
Prolog Interpreter in Javascript
2015 · prolog.jldupont.com · its alternatives →
- 5
An encoding of the UK's self-isolation rules in Prolog - jamespwilliams/prolog-isolation-checker
2021 · github.com · its alternatives →
- 6
pgTyped - Typesafe SQL in TypeScript. Contribute to adelsz/pgtyped development by creating an account on GitHub.
2020 · github.com · its alternatives →
- 7
A Clojure implementation of the logic programming language from chapter 4 of SICP - jdormit/sicp-logic
2019 · github.com · its alternatives →
- 8
An extremely simple and explicit ORM for TypeScript - Seb-C/kiss-orm
2020 · github.com · its alternatives →
- 9
TypeScript as a proof assistant. GitHub Gist: instantly share code, notes, and snippets.
2025 · gist.github.com · its alternatives →
- 10
i made an esoteric programming language which i call spellscript. every program is a "spell" written in a "grimoire," and you have to use keywords like summon, enchant, inscribe, and conjure. it's literally read like a spellbook because the syntax consists of all natural language, and newlines are optional. your code can now be an essay, like everybody wants! for example, if you want to print something, you'd write: `begin the grimoire. inscribe whispers of "hello, world!". close the grimoire.` it has variables, dynamic typing, arrays, functions, conditionals, loops, string manipulation,…
2025 · github.com · its alternatives →
- 11
2017 · craftinginterpreters.com · its alternatives →
- 12
A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators in order to perform its magic. - photonlines/Python-Prolog-Interpreter
2019 · github.com · its alternatives →
- 13
Build Typed GraphQL Queries in TypeScript without the code generation - acro5piano/typed-graphqlify
2018 · github.com · its alternatives →
- 14IM
2025 · yongsk0066.github.io · its alternatives →
- 15
GraphQL APIs in TypeScript with complete e2e type safety
2021 · uniform-graphql.whatsgood.dog · its alternatives →
- 16
Hey all, I just released v2.0.0 of FilterQL, a query language and TypeScript library. This version adds support for Operations, which allow you to transform the data after filtering. If you think this would be useful in a project you're working on, give it a try and let me know what you think!
2025 · github.com · its alternatives →
- 17
An interview with Robert Kowalski, the co-creator of the field of logic programming and of the Prolog language.
2020 · thesearch.space · its alternatives →
- 18IA
Hi! We're Amisi and Claude, builders of the i2 language and the i2forge platform. i2 is an (early draft of a) language designed to make formal verification easy for mathematicians. We are launching the language as an open source project today (https://i2lang.org) together with a closed alpha for i2forge. However, we have a publicly accessible demo page which anyone can use, and we would love your feedback. Thanks.
2023 · i2forge.com · its alternatives →
- 19
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic - ParhamP/Natural_Logic_Interpreter
2017 · github.com · its alternatives →
- 20
This absurd project started when I read a couple of blog posts that got very popular around here about solving the N queens puzzle using only Haskell's type system and TypeScript's type system. I figured I could implement Peano arithmetic using only TypeScript's type system. Turns out this have been done several times before, but I did it anyway. While working on it, I realized that you could emulate functions with conditional recursive types, writing them in a way that strongly resembles the equations that can be found in some functional programming languages. So I thought I could write a…
2023 · github.com · its alternatives →
- 21
An ergonomic, mobile-first, Prolog playground! Contribute to lf94/paizo-programmer development by creating an account on GitHub.
2022 · github.com · its alternatives →
- 22
Define and run pattern-based custom linting rules. - quasilyte/go-ruleguard
2020 · github.com · its alternatives →
- 23
I'm working on a scripting-language heavily inspired by Javascript and GLSL. The idea is to use this for a game engine I'm working on.
2022 · github.com · its alternatives →
- 24
Rules Engine based on State Algebra. Contribute to dmitry-lesnik/vector-logic development by creating an account on GitHub.
Nov 2025 · github.com · its alternatives →
Also compare
- Embeddable Prolog in Go alternatives
- A SQL database implemented purely in TypeScript type annotations alternatives
- Writing an HTTP server in Prolog alternatives
- Prolog compiler and interpreter in pure JavaScript alternatives
- An encoding of the UK's self-isolation rules in Prolog alternatives
- PgTyped – Typesafe SQL in TypeScript and Postgres alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →