Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI

ArXi:2602.06934v3 Announce Type: replace-cross Grassroots Logic Programs (GLP) is a multiagent, concurrent, logic programming language designed for the implementation of smartbased, serverless, grassroots platforms. Here, we start from GLP and maGLP -- concurrent and multiagent abstract nondeterministic operational semantics for GLP, respectively -- and from them derive dGLP and madGLP -- implementation-ready deterministic operational semantics for both -- and prove them correct with respect to their abstract counterparts.