Searched refs:AtomEvaluable (Results 1 – 4 of 4) sorted by relevance
92 AtomEvaluable = AtomAdjust(AtomEvaluable);
92 AtomEvaluable = Yap_LookupAtom("evaluable");
180 #define AtomEvaluable Yap_heap_regs->AtomEvaluable_ macro
1654 ti[0] = MkAtomTerm(AtomEvaluable); in Yap_Error()