Did you know ... Search Documentation:
Predicate radial_restraint/0
Availability:built-in
Source[undefined]radial_restraint
This predicate is undefined in the sense of well founded semantics (see section 7.6 and undefined/0). Any answer that depends on this condition is undefined because either the restraint on the subgoal size or answer size was violated.
Tags are associated to your profile if you are logged in
Tags: