Searched refs:AtomUser (Results 1 – 8 of 8) sorted by relevance
304 AtomUser = AtomAdjust(AtomUser);
87 Yap_heap_regs->user_module = MkAtomTerm(AtomUser);
304 AtomUser = Yap_LookupAtom("user");
604 #define AtomUser Yap_heap_regs->AtomUser_ macro
90 Term user_module USER_MODULE MkAT AtomUser
2696 as[0] = MkAtomTerm(AtomUser); in YAP_Init()
3495 if (sname == AtomUser) {3603 if (i < 3) return(MkAtomTerm(AtomUser));
2521 return(AtomUser); in YapConsultingFile()