Searched refs:AtomGVar (Results 1 – 4 of 4) sorted by relevance
116 AtomGVar = Yap_LookupAtom("var");377 FunctorGVar = Yap_MkFunctor(AtomGVar,1);
116 AtomGVar = AtomAdjust(AtomGVar);
228 #define AtomGVar Yap_heap_regs->AtomGVar_ macro
4234 ts[0] = Yap_MkApplTerm(Yap_MkFunctor(AtomGVar,3),3,t);