#include int Pl(const char *szMod, const char *szPred) { term_t t = PL_new_term_refs(0); if (!PL_call_predicate(NULL, PL_Q_CATCH_EXCEPTION, PL_predicate(szPred, 0, szMod), t)) return 0; return 1; }