SWI-Prolog Did You Know Did you know? SWI-Prolog can parse HTML/SGML/XML 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: