Searched refs:ATOM_locked (Results 1 – 3 of 3) sorted by relevance
323 #define ATOM_locked (316*2+1) macro
765 SWI_Functors[j++] = Yap_MkFunctor(SWIAtomToAtom(ATOM_locked),2);
3178 { ATOM_locked, P_LOCKED },