Searched refs:YAP_MkNewApplTerm (Results 1 – 7 of 7) sorted by relevance
/dports/lang/yap/yap-6.2.2/misc/ |
H A D | yap.def | 30 YAP_MkNewApplTerm
|
/dports/lang/yap/yap-6.2.2/include/ |
H A D | c_interface.h | 156 #define MkNewApplTerm(f,i) YAP_MkNewApplTerm(f,i) 157 #define YapMkNewApplTerm(f,i) YAP_MkNewApplTerm(f,i)
|
H A D | YapInterface.h | 184 extern X_API YAP_Term PROTO(YAP_MkNewApplTerm,(YAP_Functor,unsigned int));
|
/dports/lang/swi-pl/swipl-8.2.3/src/compat/ |
H A D | YapInterface.h | 206 YAP_MkNewApplTerm(functor_t f, int arity) in YAP_MkNewApplTerm() function
|
/dports/lang/yap/yap-6.2.2/library/dialect/swi/fli/ |
H A D | swi.c | 1151 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 D | c_interface.c | 410 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 D | yap.tex | 16338 @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
|