Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.
Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and Tau Prolog
A Prolog-inspired logic engine with reality simulation and counterfactual reasoning.
MCP server for LPTP (Logic Program Theorem Prover) — proof verification, tactic application, and definition querying
Music theory primitives: pitches, intervals, chords, and harmonic progressions
Some quick links: * [GitLab Repository](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin) (the one used by developers) * [GitHub Repository](https://github.com/tuProlog/2p-kt) (where JVM releases are hosted) * [NPM Repository](https://www.npmjs.com/org/t
Neuro-symbolic AI for hybrid neural-symbolic reasoning
javascript notebooks
yieldprolog ===========
Node-RED node to query SWI-Prolog pengines servers
higher order functions for function composition, laziness, backtracking, set theoretic operations, and other magic
> TODO: description
S3-compatible unstorage driver (works with Exoscale SOS, MinIO, etc.)
A psycho-symbolic reasoning framework combining symbolic AI with psychological context using Rust WASM and FastMCP integration
Programming language interpreters, including LISP, Scheme, and Prolog.
Exports all `@kingjs/descriptor.object.*` functionality in one package.
⚡️ Curated list of Prolog packages and resources
### Some quick links:
EYE mock solving your n3 reasoning on a server instead of client side Prolog execution
No description provided.
Solves HORNSAT
Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
A JavaScript function to convert objects to Prolog facts
Some quick links: * [GitLab Repository](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin) (the one used by developers) * [GitHub Repository](https://github.com/tuProlog/2p-kt) (where JVM releases are hosted) * [NPM Repository](https://www.npmjs.com/org/t