| /dports/devel/ppl/ppl-1.2/interfaces/Prolog/SWI/ |
| H A D | swi_cfli.hh | 186 return PL_cons_functor(t, PL_new_functor(f, 1), a1); in Prolog_construct_compound()
188 PL_cons_functor(t, PL_new_functor(f, 1), a1); in Prolog_construct_compound()
201 return PL_cons_functor(t, PL_new_functor(f, 2), a1, a2); in Prolog_construct_compound()
203 PL_cons_functor(t, PL_new_functor(f, 2), a1, a2); in Prolog_construct_compound()
217 return PL_cons_functor(t, PL_new_functor(f, 3), a1, a2, a3); in Prolog_construct_compound()
219 PL_cons_functor(t, PL_new_functor(f, 3), a1, a2, a3); in Prolog_construct_compound()
233 return PL_cons_functor(t, PL_new_functor(f, 4), a1, a2, a3, a4); in Prolog_construct_compound()
235 PL_cons_functor(t, PL_new_functor(f, 4), a1, a2, a3, a4); in Prolog_construct_compound()
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/xpce/swipl/ |
| H A D | interface.c | 488 PL_cons_functor(fa, ATOM_slash, 2, name, ar); in UndefinedPredicate()
489 PL_cons_functor(culprit, ATOM_module, 2, m, fa); in UndefinedPredicate()
833 if ( !PL_cons_functor(a1, FUNCTOR_pce1, a1) || in ThrowException()
835 !PL_cons_functor(a2, FUNCTOR_ref1, a2) || in ThrowException()
860 if ( !PL_cons_functor(a1, FUNCTOR_pce1, a1) || in ThrowException()
861 !PL_cons_functor(a2, FUNCTOR_ref1, a2) || in ThrowException()
1080 PL_cons_functor(r, FUNCTOR_ref1, t2); in unifyReference()
1889 return PL_cons_functor(t, FUNCTOR_ref1, t); in put_default()
2476 PL_cons_functor(t, FUNCTOR_ref1, t2) ); in put_object()
2492 PL_cons_functor(t, FUNCTOR_ref1, t2) in put_object()
[all …]
|
| /dports/lang/swi-pl/swipl-8.2.3/src/ |
| H A D | pl-cont.c | 297 PL_cons_functor(contv, FUNCTOR_call_continuation1, contv) && in put_continuation()
298 PL_cons_functor(contv, env_f, contv, av+0, av+1) && in put_continuation()
299 PL_cons_functor(contv, FUNCTOR_call1, contv) ) in put_continuation()
|
| H A D | pl-index.c | 2755 if ( !PL_cons_functor(where, FUNCTOR_multi1, where) ) in unify_clause_index()
2759 !PL_cons_functor(where, FUNCTOR_single1, where) ) in unify_clause_index()
2769 !PL_cons_functor(where, FUNCTOR_dot2, where, nil) ) in unify_clause_index()
2779 if ( !PL_cons_functor(where, FUNCTOR_deep1, where) ) in unify_clause_index()
|
| H A D | pl-op.c | 361 return (PL_cons_functor(t, FUNCTOR_colon2, a, name) &&
|
| H A D | pl-error.c | 60 PL_cons_functor(t, FUNCTOR_divide2, a+0, a+1)); in put_name_arity()
|
| H A D | pl-init.c | 1730 if ( !PL_cons_functor(av+1, FUNCTOR_message_lines1, av+1) ) in vwarning()
|
| H A D | pl-dict.c | 1314 if ( PL_cons_functor(ctx->tmp, FUNCTOR_minus2, key, value) && in put_pair()
|
| H A D | SWI-Prolog.h | 570 PL_EXPORT(int) PL_cons_functor(term_t h, functor_t f, ...) WUNUSED;
|
| H A D | pl-trace.c | 850 return PL_cons_functor(goal, FUNCTOR_colon2, a, goal); in put_frame_goal()
|
| H A D | pl-tabling.c | 5043 !PL_cons_functor(c1, FUNCTOR_divide2, c1, tmp) ) in put_delay_set()
5067 !PL_cons_functor(c1, FUNCTOR_tnot1, c1) ) in put_delay_set()
5072 { if ( !PL_cons_functor(cond, FUNCTOR_comma2, c1, cond) ) in put_delay_set()
|
| H A D | pl-fli.c | 1090 PL_cons_functor(term_t h, functor_t fd, ...) in PL_cons_functor() function
4073 return PL_cons_functor(qualified, FUNCTOR_colon2, mname, qualified); in PL_qualify()
|
| H A D | pl-wic.c | 3993 return PL_cons_functor(directive, FUNCTOR_colon2, m, d0); in directiveClause()
|
| /dports/lang/yap/yap-6.2.2/library/dialect/swi/fli/ |
| H A D | swi.def | 29 PL_cons_functor
|
| H A D | swi.c | 1017 X_API int PL_cons_functor(term_t d, functor_t f,...) in PL_cons_functor() function
|
| /dports/lang/yap/yap-6.2.2/packages/pyswip/pyswip/ |
| H A D | core.py | 443 PL_cons_functor = _lib.PL_cons_functor # FIXME: variable
|
| /dports/lang/yap/yap-6.2.2/packages/clib/ |
| H A D | unix.c | 267 if ( !PL_cons_functor(nt, FUNCTOR_equal2, nt, vt) || in pl_environ()
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/clib/ |
| H A D | unix.c | 303 if ( !PL_cons_functor(nt, FUNCTOR_equal2, nt, vt) || in pl_environ()
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/yaml/ |
| H A D | yaml4pl.c | 527 !PL_cons_functor(t, FUNCTOR_tag2, tag, t) ) in create_mapping()
552 !PL_cons_functor(t, FUNCTOR_tag2, tag, t) ) in create_sequence()
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/inclpr/ |
| H A D | inclpr.c | 619 return (PL_cons_functor(t3,interval,t1,t2) && in c_to_p()
632 return (PL_cons_functor(t3,intunion,t1,t2) && in two_c_to_p()
|
| /dports/lang/yap/yap-6.2.2/include/ |
| H A D | SWI-Prolog.h | 385 extern X_API int PL_cons_functor(term_t, functor_t,...);
|
| /dports/lang/swi-pl/swipl-8.2.3/src/os/ |
| H A D | pl-prologflag.c | 1699 PL_cons_functor(tt, FUNCTOR_tag1, tt) && in setVersionPrologFlag()
1700 PL_cons_functor(o, FUNCTOR_dot2, tt, o) ); in setVersionPrologFlag()
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/pcre/ |
| H A D | pcre4pl.c | 828 PL_cons_functor(pair, FUNCTOR_pair2, capn, caps) && in unify_match()
|
| /dports/lang/yap/yap-6.2.2/packages/PLStream/ |
| H A D | pl-file.c | 537 PL_cons_functor(a, FUNCTOR_dstream1, a) && in PL_unify_stream_or_alias()
562 !PL_cons_functor(a, FUNCTOR_dstream1, a) ) in PL_unify_stream()
|
| /dports/lang/swi-pl/swipl-8.2.3/man/ |
| H A D | foreign.doc | 1288 using the {\tt PL_unify_*()} functions or use PL_cons_functor().
1305 \cfunction{int}{PL_cons_functor}{term_t -h, functor_t f, \ldots}
1323 PL_cons_functor(t, animal2, a1, a2);
1331 Create a compound term like PL_cons_functor(), but \arg{a0} is an
2370 PL_cons_functor(goal, s2, a1, a2);
|