SWI-Prolog Did You Know Did you know? Your proprietary application can use SWI-Prolog Search Documentation:
Predicate health/2