Searched refs:YAP_PredEntryPtr (Results 1 – 3 of 3) sorted by relevance
268 extern X_API YAP_PredEntryPtr PROTO(YAP_FunctorToPred,(YAP_Functor));271 extern X_API YAP_PredEntryPtr PROTO(YAP_AtomToPred,(YAP_Atom));274 extern X_API YAP_Bool PROTO(YAP_EnterGoal,(YAP_PredEntryPtr, YAP_Term *, YAP_dogoalinfo *));
169 typedef struct YAP_pred_entry *YAP_PredEntryPtr; typedef
16712 @item @code{YAP_PredEntryPtr} YAP_FunctorToPred(@code{YAP_Functor} @var{f},16716 @item @code{YAP_PredEntryPtr} YAP_AtomToPred(@code{YAP_Atom} @var{at},16720 @item @code{YAP_Bool} YAP_EnterGoal(@code{YAP_PredEntryPtr} @var{pe},16753 YAP_PredEntryPtr goalPred = YAP_FunctorToPred(goalFunctor);