Home
last modified time | relevance | path

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

/dports/lang/yap/yap-6.2.2/include/
H A DYapInterface.h88 extern X_API YAP_Bool PROTO(YAP_IsVarTerm,(YAP_Term));
97 extern X_API YAP_Bool PROTO(YAP_IsIntTerm,(YAP_Term));
106 extern X_API YAP_Bool PROTO(YAP_IsFloatTerm,(YAP_Term));
112 extern X_API YAP_Bool PROTO(YAP_IsAtomTerm,(YAP_Term));
115 extern X_API YAP_Bool PROTO(YAP_IsPairTerm,(YAP_Term));
118 extern X_API YAP_Bool PROTO(YAP_IsApplTerm,(YAP_Term));
223 extern X_API void PROTO(YAP_UserBackCPredicate,(CONST char *, YAP_Bool (*)(void), YAP_Bool (*)(void…
227 …X_API void PROTO(YAP_UserBackCutCPredicate,(char *, YAP_Bool (*)(void), YAP_Bool (*)(void), YAP_Bo…
255 extern X_API YAP_Bool PROTO(YAP_RestartGoal,(void));
258 extern X_API YAP_Bool PROTO(YAP_ShutdownGoal,(int));
[all …]
H A Dyap_structs.h38 typedef int YAP_Bool; typedef
H A Dc_interface.h26 #define Bool YAP_Bool
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/YAP/
H A Dyap_cfli.hh34 typedef YAP_Bool Prolog_foreign_return_type;
/dports/lang/yap/yap-6.2.2/docs/
H A Dyap.tex16147 YAP_Bool YAP_IsVarTerm(YAP_Term @var{t})
16154 YAP_Bool YAP_NonVarTerm(YAP_Term @var{t})
16175 YAP_Bool YAP_IsIntTerm(YAP_Term @var{t})
16176 YAP_Bool YAP_IsFloatTerm(YAP_Term @var{t})
16177 YAP_Bool YAP_IsDbRefTerm(YAP_Term @var{t})
16178 YAP_Bool YAP_IsAtomTerm(YAP_Term @var{t})
16179 YAP_Bool YAP_IsPairTerm(YAP_Term @var{t})
16180 YAP_Bool YAP_IsApplTerm(YAP_Term @var{t})
16220 YAP_Bool YAP_IsBigNumTerm(YAP_Term @var{t})
16737 @item @code{YAP_Bool} YAP_LeaveGoal(@code{YAP_Bool} @var{backtrack},
[all …]