Searched refs:ATOM_assert (Results 1 – 2 of 2) sorted by relevance
34 #define ATOM_assert (27*2+1) macro
655 SWI_Functors[j++] = Yap_MkFunctor(SWIAtomToAtom(ATOM_assert),1);