Towards "annex", a Fact Based Dependency System
summary
A dependency system called annex implements a fact store and logic query language (built in Haskell) that stores immutable worlds in content-addressable storage and resolves constraints with a SAT-backed solver, offering first-class notion of time, reproducible fetches, and both source substitution and binary substitution across platforms. It federates fact stores, integrates with VCS/CI to collect facts, promises deterministic resolution (resolver versioning), and is close to release though some solver distribution work remains.
AI-written summary · about
chapters (13)
- 0:00Introduction
- 1:08Motivation
- 5:33Concept
- 6:35Facts Store
- 9:29Data Store
- 11:52Annex
- 15:08Dependency Management
- 19:10Dependency Resolution
- 21:38Interacting with the World
- 26:22Time
- 28:03Trust
- 29:14Solving
- 31:59Looking Forward
related talks
52mI See What You Mean
35mIt's Just Data
52mEnhancing Datalog for Datomic
24mOntological Reasoning over Shy and Warded Datalog+/- for Streaming-based Archite...
37m11 insights after 11 years with the functional database Datomic
46mThe Datomic Architecture and Data Model
42mA Practical Functional Relational Architecture
34mConstraint Logic Propagation Conflict Spreadsheets