Metadata
Author: Literature
Data
English[en]
Each rule that has one or more IDB predicates among its subgoals is replaced by a collection of rules.
Spanish[es]
Cada regla que tenga uno o más predicados IDB entre las submetas se sustituye por una colección de reglas.