Searched refs:AtomInf (Results 1 – 5 of 5) sorted by relevance
464 if (at == AtomInf) { in ParseTerm()474 if (at == AtomInf) { in ParseTerm()
135 AtomInf = AtomAdjust(AtomInf);
135 AtomInf = Yap_LookupAtom("inf");
266 #define AtomInf Yap_heap_regs->AtomInf_ macro
3316 - The AtomInf button lets you display info on the PMF score