SWI-Prolog Did You Know Did you know? C-c C-c CamelCasesWords in pceEmacs Search Documentation:
Predicate holds/2

Sorry, No manual entry for holds/2