Declare
Describe SQLite or PostgreSQL tables with English terms, explicit types, and provenance.
In development · Local-first · C++
Turn data into documented answers.
Verisyntax is an actively developed prototype of a readable declarative programming language that combines typed tables, logic rules, evidence, and Bayesian inference in reproducible programs.
One auditable chain
From source to result
Data and decisions retain their origin. Verisyntax preserves the chain from source to mention, claim, fact, and rule, together with version, review, and run metadata.
Combine and reason
Filter and join tables, write Prolog-inspired rules, or declare a probability model.
Run and document
Compile through serializable IR to C++, run locally, and retain results, hashes, timestamps, and provenance.
Core capabilities
One language, several evidence types
SQLitePostgreSQLCSV · JSON · TXT · XLSXInner/left joinsOpen-world logicBayes + HDIC++17 runtimeOptional local Ollama
A local LLM may suggest code, claims, and rules. It never calculates Bayesian results and cannot activate facts or rules without human review.