Searched refs:ATOM_nonvar (Results 1 – 2 of 2) sorted by relevance
376 #define ATOM_nonvar (369*2+1) macro
781 SWI_Functors[j++] = Yap_MkFunctor(SWIAtomToAtom(ATOM_nonvar),1);