Did you know? DCG help at lib dcg/basics & packs dcg_util & dcg_utilsSearch Documentation:
SWI-Prolog owl logoPredicate fail/0