Deklarér
Beskriv SQLite- eller PostgreSQL-tabeller med engelske termer, typer og provenance.
Under udvikling · Local-first · C++
Data bliver til dokumenterbare svar.
Verisyntax er en aktivt udviklet prototype på et letlæseligt, deklarativt programmeringssprog, der samler typede tabeller, logikregler, evidens og Bayesiansk inferens i reproducerbare programmer.
Én kontrollerbar kæde
Fra kilde til resultat
Data og beslutninger mister ikke deres oprindelse undervejs. Verisyntax bevarer forbindelsen mellem source, mention, claim, fact og rule — samt versions-, review- og kørselsmetadata.
Kombinér og begrund
Filtrér og join tabeller, skriv Prolog-inspirerede regler, eller deklarér en sandsynlighedsmodel.
Kør og dokumentér
Kompilér gennem serialiserbar IR til C++, byg lokalt og gem resultat, hashes, tidspunkt og provenance.
Kernefunktioner
Et sprog — flere evidenstyper
SQLitePostgreSQLCSV · JSON · TXT · XLSXInner/left joinsOpen-world logicBayes + HDIC++17 runtimeValgfri lokal Ollama
En lokal LLM kan foreslå kode, claims og regler. Den beregner aldrig Bayes-resultatet og kan ikke aktivere facts eller regler uden dit review.