Searched refs:FunctorSlash (Results 1 – 7 of 7) sorted by relevance
75 t = Yap_MkApplTerm(FunctorSlash, 2, ti); in Eval()
778 t = Yap_MkApplTerm(FunctorSlash, 2, ti); in p_unary_is()
1087 t = Yap_MkApplTerm(FunctorSlash, 2, ti); in p_binary_is()
2014 t = Yap_MkApplTerm(FunctorSlash, 2, ti); in addcl_permission_error()
410 FunctorSlash = FuncAdjust(FunctorSlash);
410 FunctorSlash = Yap_MkFunctor(AtomSlash,2);
816 #define FunctorSlash Yap_heap_regs->FunctorSlash_ macro