Searched refs:AtomProlog (Results 1 – 6 of 6) sorted by relevance
217 AtomProlog = Yap_LookupAtom("prolog");398 FunctorPrologConstraint = Yap_MkFunctor(AtomProlog,2);
217 AtomProlog = AtomAdjust(AtomProlog);
85 Yap_heap_regs->term_prolog = MkAtomTerm(AtomProlog);
430 #define AtomProlog Yap_heap_regs->AtomProlog_ macro
316 LookupModule(MkAtomTerm(AtomProlog)); in Yap_InitModules()
88 Term term_prolog TermProlog MkAT AtomProlog