Searched refs:AtomAssert (Results 1 – 3 of 3) sorted by relevance
21 AtomAssert = Yap_LookupAtom(":-");324 FunctorAssert = Yap_MkFunctor(AtomAssert,2);
21 AtomAssert = AtomAdjust(AtomAssert);
38 #define AtomAssert Yap_heap_regs->AtomAssert_ macro