Home
last modified time | relevance | path

Searched refs:YAP_MkNewApplTerm (Results 1 – 7 of 7) sorted by relevance

/dports/lang/yap/yap-6.2.2/misc/
H A Dyap.def30 YAP_MkNewApplTerm
/dports/lang/yap/yap-6.2.2/include/
H A Dc_interface.h156 #define MkNewApplTerm(f,i) YAP_MkNewApplTerm(f,i)
157 #define YapMkNewApplTerm(f,i) YAP_MkNewApplTerm(f,i)
H A DYapInterface.h184 extern X_API YAP_Term PROTO(YAP_MkNewApplTerm,(YAP_Functor,unsigned int));
/dports/lang/swi-pl/swipl-8.2.3/src/compat/
H A DYapInterface.h206 YAP_MkNewApplTerm(functor_t f, int arity) in YAP_MkNewApplTerm() function
/dports/lang/yap/yap-6.2.2/library/dialect/swi/fli/
H A Dswi.c1151 Yap_PutInSlot(t,YAP_MkNewApplTerm((YAP_Functor)ff,arity)); in PL_put_functor()
1605 return YAP_Unify(tt, YAP_MkNewApplTerm((YAP_Functor)ff,YAP_ArityOfFunctor((YAP_Functor)f))); in PL_unify_functor()
/dports/lang/yap/yap-6.2.2/C/
H A Dc_interface.c410 X_API Term STD_PROTO(YAP_MkNewApplTerm,(Functor,UInt));
936 YAP_MkNewApplTerm(Functor f,UInt arity) in YAP_MkNewApplTerm() function
/dports/lang/yap/yap-6.2.2/docs/
H A Dyap.tex16338 @findex YAP_MkNewApplTerm (C-Interface function)
16349 YAP_Term YAP_MkNewApplTerm(YAP_Functor @var{f}, int @var{n})
16358 functor. @code{YAP_MkNewApplTerm} builds up a compound term whose