Prolog LanguageExtra-logical Predicates