Searched refs:ATOM_unify_determined (Results 1 – 2 of 2) sorted by relevance
602 #define ATOM_unify_determined (595*2+1) macro
853 SWI_Functors[j++] = Yap_MkFunctor(SWIAtomToAtom(ATOM_unify_determined),2);