Searched refs:ATOM_softcut (Results 1 – 3 of 3) sorted by relevance
507 #define ATOM_softcut (500*2+1) macro
663 OP(ATOM_softcut, OP_XFY, 1050), /* *-> */
826 SWI_Functors[j++] = Yap_MkFunctor(SWIAtomToAtom(ATOM_softcut),2);