A node.js interface to the SWI-Prolog.
SWI-Prolog WebAssembly build as an NPM package. Please see this page for ongoing progress and information: <https://swi-prolog.discourse.group/t/swi-prolog-in-the-browser-using-wasm/5650>
TypeScript definitions for swipl-stdio
A Node.js interface to the SWI-Prolog.
SWI-Prolog MCP Server with dual query modes and security layer
A node.js interface to the SWI-Prolog library
SWI-Prolog integration for Model Context Protocol - orchestrator package
Translate an XML Schema into equivalent JSON Schema
SWI-Prolog 10.1.4 in WebAssembly — zero dependencies. Foreign predicates in JS, CLP(FD), clause streaming, ergonomic query API.
A Node.js interface to the SWI-Prolog.
SWI-Prolog 10.1.4 + Z3 4.16.0 in a single WebAssembly binary. Zero dependencies. Foreign predicates in JS, CLP(FD), Z3 SMT solving from Prolog via C FFI, ergonomic query API.
Wrap the original xsd2json prolog programme with pre and post-processing to complete its functionalities.
A node.js interface to the SWI-Prolog library
Model Preparer (converter from PIR-XSD to Sencha ExtJS Model Classes)
MCP server for LPTP (Logic Program Theorem Prover) — proof verification, tactic application, and definition querying
A high-level library for building SWI-Prolog extensions and embedding SWI-Prolog in rust applications
Tool for working with crates that use the SWI-Prolog Foreign Language Interface
Low-level bindings to the SWI-Prolog Foreign Language Interface
Helper crate for retrieving information about the installed version of SWI-Prolog
Macro crate for swipl-rs
Low-level bindings to SWI Prolog
A tool to convert JSON to Prolog
no_std codec for lossless compression via huffman codes