Searched refs:AtomNbTerm (Results 1 – 4 of 4) sorted by relevance
175 AtomNbTerm = AtomAdjust(AtomNbTerm);
175 AtomNbTerm = Yap_LookupAtom("nb_term");
346 #define AtomNbTerm Yap_heap_regs->AtomNbTerm_ macro
1037 return(Yap_unify(ARG3,MkAtomTerm(AtomNbTerm))); in p_static_array_properties()