Searched refs:ATOM_term_expansion (Results 1 – 2 of 2) sorted by relevance
548 #define ATOM_term_expansion (541*2+1) macro
840 SWI_Functors[j++] = Yap_MkFunctor(SWIAtomToAtom(ATOM_term_expansion),2);