Searched refs:FunctorPrologConstraint (Results 1 – 3 of 3) sorted by relevance
398 FunctorPrologConstraint = FuncAdjust(FunctorPrologConstraint);
398 FunctorPrologConstraint = Yap_MkFunctor(AtomProlog,2);
792 #define FunctorPrologConstraint Yap_heap_regs->FunctorPrologConstraint_ macro