Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)

arXiv:2602.06934 · cs.PL, cs.AI, cs.DC, cs.LO, cs.MA · Submitted 2026-02-06 · Read on arXiv

cs.PL, cs.AI, cs.DC, cs.LO, cs.MA

Submitted: 2026-02-06

Updated: 2026-08-30

Code: https://github.com/EShapiro2/FCP

Terminology

• Grassroots Logic Programs — 37× in this paper
• Trace — 11× in this paper · explained in 2 episodes
• Actor — 3× in this paper · explained in 3 episodes
• Formal Methods — 3× in this paper · explained in 3 episodes
• Abstraction — 2× in this paper · explained in 1 episode
• Consistency — 2× in this paper · explained in 3 episodes
• Core — 2× in this paper · explained in 2 episodes
• Verification — 2× in this paper · explained in 2 episodes
• Formal Methods for Components and Objects — 1× in this paper
• Redundancy — 1× in this paper · explained in 2 episodes

Sources

• The Blocklace: A Byzantine-repelling and Universal Conflict-free Replicated Data Type
• Federated Assemblies
• Grassroots Flash: A Payment System for Grassroots Cryptocurrencies
• Volition-Guarded Multiagent Atomic Transactions: Describing People and their Machines
• Type-Constrained Code Generation with Language Models
• Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks
• Grassroots Systems: Concept, Examples, Implementation and Applications
• Grassroots Currencies: Foundations for Grassroots Digital Economies
• GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI (Full Version)
• Grassroots Platforms with Atomic Transactions: Social Networks, Cryptocurrencies, and Democratic Federations
• Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version)
• Grassroots Federation: Fair Democratic Governance at Scale

Related papers

• Griotte: Verified Compartmentalisation via Capabilities
• GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
• Quasar: A Programming Language Specialized for LLM Code Actions