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...