An open source Prolog interpreter in JavaScript
Prolog language support for CodeMirror
Syntax highlighting for Prolog, powered by WebAssembly
Generate enhanced visual trace diagrams for Prolog query execution
Trealla Prolog bindings for JS
A small rule engine for Prolog-style Horn clauses
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>
Parsing utilis for Prolog in JS environments
An event- and stream-aware logger for pros. Meaning, professionals.
Querying RDF data with Prolog
Trealla Prolog bindings for JS
SWI-Prolog 10.1.4 in WebAssembly — zero dependencies. Foreign predicates in JS, CLP(FD), clause streaming, ergonomic query API.
Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)
Descriptor function prolog.
Scryer Prolog, a modern Prolog implementation written mostly in Rust.
dictionary for Tau Prolog
Prolog parser using PEGjs
SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
Provides helper tools for using VCs containing Prolog rules.
Tree Sitter Prolog
Core Prolog modules and RDF graph logic for Kibi
A simple Prolog interpreter written with javascript (ECMAScript5).
a Prolog based IoT reasoning middleware in JavaScript
A Node.js interface to the SWI-Prolog.
A modern Prolog implementation written mostly in Rust.
A tool to convert JSON to Prolog
A Prolog implementation in Rust with enhanced error handling
Prolog compiler for Z80 - Logic programming on the RetroShield
Prolog grammar for arborium (tree-sitter bindings)
Lojban PEG parser with semantic analysis - integrated camxes parser and tersmu semantic engine
A Meta-Interpretive Learning framework implementing second-order SLD resolution
Converts SMILES molecular notation into Prolog term representations for use in logic programming and inductive learning systems
Prolog language parser with support for logic programming and declarative programming features.
MIT-licensed Prolog grammar for tree-sitter (ISO + SWI dicts + ProbLog + DCG superset)
An operator precedence parser for the Rebis development version of Scryer Prolog, an up and coming ISO Prolog implementation.
A small, embeddable and fast interpreter for a subset of Prolog.
Prolog Blockly
A pure Ruby implementation of a useful subset of Prolog.
A PrologMQI implementation in Ruby.
Custom Minitest matcher(s) we've developed for our own use.
Dry::Types typedefs found to be generally useful. Replaces deprecated prolog-dry-types.
Prolog Runner for Mumuki
Replaces HTML within a specified range with HTML replacement content.
The Prolog::Services::MarkdownToHtml class converts valid Markdown to valid HTML (as well-formed XML; i.e., void element tags such as <br/> are always properly closed). The resulting HTML is rendered as a single line of text with all unnecessary whitespace removed.
Rubylog is a Prolog-like DSL for Ruby.
Interact with the SWI Prolog system in ruby. Currently uses FFI to bind using the C interface.
Designed initially for UNM Informatics lab
Implements a Prolog inference engine using Plain Old Ruby Objects
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.