Results for prolog-dry_types

An open source Prolog interpreter in JavaScript

Prolog language support for CodeMirror

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>

Trealla Prolog bindings for JS

Generate enhanced visual trace diagrams for Prolog query execution

Translate an XML Schema into equivalent JSON Schema

Parsing utilis for Prolog in JS environments

Find meaning in the web.

### Some quick links:

### Some quick links:

### Some quick links:

### Some quick links:

SWI-Prolog 10.1.4 in WebAssembly — zero dependencies. Foreign predicates in JS, CLP(FD), clause streaming, ergonomic query API.

### Some quick links:

### Some quick links:

### Some quick links:

### Some quick links:

Sticky session balancer with layer 4 capabilities, based on a `cluster` module

Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)

### Some quick links:

### Some quick links:

### Some quick links:

Trealla Prolog bindings for JS

### Some quick links:

Dry::Types typedefs found to be generally useful. Replaces deprecated prolog-dry-types.