Searched refs:AtomMinus (Results 1 – 4 of 4) sorted by relevance
162 AtomMinus = Yap_LookupAtom("-");387 FunctorMinus = Yap_MkFunctor(AtomMinus,2);421 FunctorUMinus = Yap_MkFunctor(AtomMinus,1);
162 AtomMinus = AtomAdjust(AtomMinus);
320 #define AtomMinus Yap_heap_regs->AtomMinus_ macro
444 if ((Atom)t == AtomMinus) { in ParseTerm()473 } else if ((Atom)t == AtomMinus) { in ParseTerm()