Searched refs:MkSFTerm (Results 1 – 6 of 6) sorted by relevance
/dports/lang/yap/yap-6.2.2/include/ |
H A D | c_interface.h | 292 extern MkSFTerm(t) YAP_MkSFTerm(t)
|
H A D | YapInterface.h | 383 extern X_API YAP_Term MkSFTerm();
|
/dports/lang/yap/yap-6.2.2/H/ |
H A D | Yapproto.h | 72 Term STD_PROTO(MkSFTerm,(Functor,int,Term *,Term));
|
/dports/lang/yap/yap-6.2.2/C/ |
H A D | parser.c | 358 t = MkSFTerm(Yap_MkFunctor(a, SFArity), nargs, p, pe->NilValue); in ParseArgs()
|
H A D | adtdefs.c | 1348 MkSFTerm(Functor f, int n, Term *a, empty_value) in MkSFTerm() function
|
H A D | stdpreds.c | 2392 twork = MkSFTerm(Yap_MkFunctor(at, SFArity), in p_univ()
|