Home
last modified time | relevance | path

Searched refs:FunctorMinus (Results 1 – 5 of 5) sorted by relevance

/dports/lang/yap/yap-6.2.2/H/
H A Dratoms.h387 FunctorMinus = FuncAdjust(FunctorMinus);
H A Diatoms.h387 FunctorMinus = Yap_MkFunctor(AtomMinus,2);
H A Dtatoms.h770 #define FunctorMinus Yap_heap_regs->FunctorMinus_ macro
/dports/lang/yap/yap-6.2.2/C/
H A Dsort.c408 if (!key_mergesort(pt, size, M_EVEN, FunctorMinus)) in p_ksort()
H A Diopreds.c4271 MkPairTerm(Yap_MkApplTerm(FunctorMinus,2,ts),TermNil);