EYE Logic Engine - a JavaScript implementation of SHACL 1.2 Rules

A small Prolog-like logic programming language for facts, rules, goals, answers, and proofs.

A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

A Notation3 (N3) reasoner in JavaScript.

Euler Yet another proof Engine

A test kit for RDF Surfaces

eye reasoning in prolog

A web choreography service using eye

An owl component library

Example N3 scripts to demonstrate the various built-in functions