Searched refs:AtomUnificationStack (Results 1 – 4 of 4) sorted by relevance
301 AtomUnificationStack = AtomAdjust(AtomUnificationStack);
301 AtomUnificationStack = Yap_LookupAtom("unification_stack");
598 #define AtomUnificationStack Yap_heap_regs->AtomUnificationStack_ macro
1100 ti[0] = MkAtomTerm(AtomUnificationStack); in Yap_Error()