Home
last modified time | relevance | path

Searched refs:FunctorPrologConstraint (Results 1 – 3 of 3) sorted by relevance

/dports/lang/yap/yap-6.2.2/H/
H A Dratoms.h398 FunctorPrologConstraint = FuncAdjust(FunctorPrologConstraint);
H A Diatoms.h398 FunctorPrologConstraint = Yap_MkFunctor(AtomProlog,2);
H A Dtatoms.h792 #define FunctorPrologConstraint Yap_heap_regs->FunctorPrologConstraint_ macro