SWI-Prolog Did You Know We need you to to keep SWI-Prolog sustainable Search Documentation:
Predicate arbitrary/2

Sorry, No manual entry for quickcheck:arbitrary/2