Home
last modified time | relevance | path

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

/dports/lang/yap/yap-6.2.2/H/
H A Dratoms.h324 FunctorAssert = FuncAdjust(FunctorAssert);
H A Diatoms.h324 FunctorAssert = Yap_MkFunctor(AtomAssert,2);
H A Dtatoms.h644 #define FunctorAssert Yap_heap_regs->FunctorAssert_ macro
/dports/lang/yap/yap-6.2.2/C/
H A Dcdmgr.c2043 if (FunctorOfTerm(t) != FunctorAssert) in is_fact()
2089 if (IsApplTerm(t) && FunctorOfTerm(t) == FunctorAssert) in addclause()
4988 if (!IsApplTerm(t) || FunctorOfTerm(t) != FunctorAssert) { in fetch_next_static_clause()
H A Dcompiler.c3451 if (IsApplTerm(my_clause) && FunctorOfTerm(my_clause) == FunctorAssert) {