Home
last modified time | relevance | path

Searched refs:AtomProlog (Results 1 – 6 of 6) sorted by relevance

/dports/lang/yap/yap-6.2.2/H/
H A Diatoms.h217 AtomProlog = Yap_LookupAtom("prolog");
398 FunctorPrologConstraint = Yap_MkFunctor(AtomProlog,2);
H A Dratoms.h217 AtomProlog = AtomAdjust(AtomProlog);
H A Dihstruct.h85 Yap_heap_regs->term_prolog = MkAtomTerm(AtomProlog);
H A Dtatoms.h430 #define AtomProlog Yap_heap_regs->AtomProlog_ macro
/dports/lang/yap/yap-6.2.2/C/
H A Dmodules.c316 LookupModule(MkAtomTerm(AtomProlog)); in Yap_InitModules()
/dports/lang/yap/yap-6.2.2/misc/
H A DHEAPFIELDS88 Term term_prolog TermProlog MkAT AtomProlog