Searched refs:ATOM_not_provable (Results 1 – 3 of 3) sorted by relevance
384 #define ATOM_not_provable (377*2+1) macro
693 OP(ATOM_not_provable, OP_FY, 900), /* \+ */
783 SWI_Functors[j++] = Yap_MkFunctor(SWIAtomToAtom(ATOM_not_provable),1);