This blog-post describes our current semantics for LoqiQL rules, focusing on how fixpoints are handled in the presence of...
Author Archive for: daniel
Fun With LogiQL 4.x Fixpoint Semantics
, , Uncategorized, fixpoint, negation, partial fixpoint, recursion, 14
In LogicBlox 4.x, rules are run until they reach a fixpoint, even if negation is involved. This allows interesting...