Home
last modified time | relevance | path

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

/dports/lang/yap/yap-6.2.2/packages/PLStream/
H A Dpl-yap.h101 #define argTermP(w,i) ((Word)((YAP_ArgsOfTerm(w)+(i))))
/dports/lang/swi-pl/swipl-8.2.3/src/compat/
H A DYapInterface.h224 YAP_ArgsOfTerm(term_t t) in YAP_ArgsOfTerm() function
/dports/lang/yap/yap-6.2.2/include/
H A DYapInterface.h193 extern X_API YAP_Term *PROTO(YAP_ArgsOfTerm,(YAP_Term));
/dports/lang/yap/yap-6.2.2/C/
H A Dc_interface.c413 X_API Term *STD_PROTO(YAP_ArgsOfTerm,(Term));
964 YAP_ArgsOfTerm(Term t) in YAP_ArgsOfTerm() function
/dports/lang/yap/yap-6.2.2/docs/
H A Dyap.tex16340 @findex YAP_ArgsOfTerm (C-Interface function)
16351 YAP_Term *YAP_ArgsOfTerm(YAP_Term @var{ts})
16361 less or equal to the arity of the functor. @code{YAP_ArgsOfTerm}