Searched refs:ATOM_tracing (Results 1 – 2 of 2) sorted by relevance
582 #define ATOM_tracing (575*2+1) macro
846 SWI_Functors[j++] = Yap_MkFunctor(SWIAtomToAtom(ATOM_tracing),1);