declarative graph query language for the cybergraph, implemented via CozoDB. #10 of the 14 computation languages in cyber.
inf runs inside cyb alongside rune — where rune constructs and mutates the graph, inf queries and reasons over it. where trident compiles to proofs, inf compiles to query plans.
full spec lives in the inf repo. see inf/README for the language overview and the deep-dive references it links.