# Derivation Loop

Record: `reason:loop-derivation-loop`
Kind: loop
Canonical: https://banes-lab.com/ontology/reasoning#reason-loop-derivation-loop