Home
last modified time | relevance | path

Searched refs:AtomUnificationStack (Results 1 – 4 of 4) sorted by relevance

/dports/lang/yap/yap-6.2.2/H/
H A Dratoms.h301 AtomUnificationStack = AtomAdjust(AtomUnificationStack);
H A Diatoms.h301 AtomUnificationStack = Yap_LookupAtom("unification_stack");
H A Dtatoms.h598 #define AtomUnificationStack Yap_heap_regs->AtomUnificationStack_ macro
/dports/lang/yap/yap-6.2.2/C/
H A Derrors.c1100 ti[0] = MkAtomTerm(AtomUnificationStack); in Yap_Error()