Home
last modified time | relevance | path

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

/dports/lang/yap/yap-6.2.2/H/
H A Dratoms.h400 FunctorRecordedWithKey = FuncAdjust(FunctorRecordedWithKey);
H A Dihstruct.h127 …Yap_heap_regs->pred_recorded_with_key = RepPredProp(PredPropByFunc(FunctorRecordedWithKey,PROLOG_M…
H A Diatoms.h400 FunctorRecordedWithKey = Yap_MkFunctor(AtomRecordedWithKey,6);
H A Dtatoms.h796 #define FunctorRecordedWithKey Yap_heap_regs->FunctorRecordedWithKey_ macro
/dports/lang/yap/yap-6.2.2/misc/
H A DHEAPFIELDS135 struct pred_entry *pred_recorded_with_key PredRecordedWithKey MkPred FunctorRecordedWithKey PROLOG_…