zelph

KO | EN

gitlite — search

#javascript #python #llm #golang #go #docker #macos #windows #cli #kubernetes #awesome-list #vue #pytorch #security

(★ 10)

A sophisticated semantic network system capable of encoding inference rules within the network itself. Built for efficient memory usage and powerful logical reasoning, zelph can process the entire Wikidata knowledge graph (1.7TB) to detect contradictions and make logical deductions.

zelph Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# zelph - A Sophisticated Semantic Network System

[![CI Build](https://github.com/acrion/zelph/actions/workflows/ci.yml/badge.svg)](https://github.com/acrion/zelph/actions/workflows/ci.yml)
[![Documentation](https://img.shields.io/badge/docs-GitHub_Pages-blue.svg)](https://acrion.github.io/zelph/)
[![GitHub Release](https://img.shields.io/github/v/release/acrion/zelph?include_prereleases)](https://github.com/acrion/zelph/releases)
[![NGI0 Commons Fund](https://img.shields.io/badge/NGI0-Commons_Fund-1a1a1a.svg)](https://nlnet.nl/project/Zelph/)

**zelph** is an innovative semantic network system and reasoning engine written in C++ with an embedded Janet scripting layer. It treats logic, rules, and mathematics not as external code, but as **homoiconic structures within the graph itself**.

By blending the flexibility of semantic webs (like Wikidata) with logic programming concepts (deep unification, constructive rules, negation as failure), zelph effectively transforms a static knowledge base into an **executable graph**.

## 🎉 Selected for an NLnet NGI0 Commons Fund Grant

zelph has been selected for a grant from NLnet's
[NGI0 Commons Fund](https://nlnet.nl/project/Zelph/) for **Auditable Reasoning
over Linked Open Data** — streaming import adapters for RDF/N-Triples and
JSON-LD, an open proof-export format that publishes derivation chains as Linked
Data, a reusable constraint-rule library, and a web-based proof explorer.

Earlier work was funded by two Wikimedia Community Fund (Rapid Fund) grants:
[Wikidata Contradiction Detection and Constraint Integration](https://meta.wikimedia.org/wiki/Grants:Programs/Wikimedia_Community_Fund/Rapid_Fund/zelph:Wikidata_Contradiction_Detection_and_Constraint_Integration_(ID:_23553409)/Final_Report)
and
[Transitive Reasoning, Qualifier Support, and SPARQL-Subset Integration](https://meta.wikimedia.org/wiki/Grants:Programs/Wikimedia_Community_Fund/Rapid_Fund/zelph:Transitive_Reasoning,_Qualifier_Support,_and_SPARQL-Subset_Integration_(ID:_23759260)/Final_Report),
both completed and reported.

## 📖 Documentation & Installation

The complete documentation, including tutorials, language references, and the architectural concepts behind "Semantic Math", is hosted on our documentation site:

👉 **[Read the zelph Documentation](https://acrion.github.io/zelph/)**

### Quick Links

- 🕹️ **[Try zelph in your browser](https://zelph.org/playground/)** – the complete reasoning engine as WebAssembly, no installation required. (Bleeding edge from `main`: [GitHub Pages playground](https://acrion.github.io/zelph/playground/).)
- 🚀 **[Installation & Quick Start Guide](https://acrion.github.io/zelph/quickstart)** – Get started immediately with pre-compiled binaries for all major platforms (no build required).
- 🧠 [Core Concepts & Homoiconicity](https://acrion.github.io/zelph/#homoiconicity-the-executable-graph)
- 🧮 [Semantic Math & Rule-based Addition](https://acrion.github.io/zelph/logic/#semantic-math-computation-as-graph-rewriting)
- 📜 [Scripting with Janet](https://acrion.github.io/zelph/janet)

zelph

zelph Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

zelph

zelph Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README