Searched refs:Prolog_put_Coefficient (Results 1 – 13 of 13) sorted by relevance
| /dports/devel/ppl/ppl-1.2/interfaces/Prolog/XSB/ |
| H A D | xsb_efli.cc | 62 Prolog_put_Coefficient(Prolog_term_ref& t, const Coefficient& n) { in Prolog_put_Coefficient() function
73 return Prolog_put_Coefficient(u, n) && Prolog_unify(t, u); in Prolog_unify_Coefficient()
|
| H A D | xsb_efli.hh | 79 Prolog_put_Coefficient(Prolog_term_ref& t, const Coefficient& n);
|
| /dports/devel/ppl/ppl-1.2/interfaces/Prolog/GNU/ |
| H A D | gprolog_efli.cc | 61 Prolog_put_Coefficient(Prolog_term_ref& t, const Coefficient& n) { in Prolog_put_Coefficient() function
73 Prolog_put_Coefficient(u, n); in Prolog_unify_Coefficient()
|
| H A D | gprolog_efli.hh | 75 Prolog_put_Coefficient(Prolog_term_ref& t, const Coefficient& n);
|
| /dports/devel/ppl/ppl-1.2/interfaces/Prolog/YAP/ |
| H A D | yap_efli.cc | 70 Prolog_put_Coefficient(Prolog_term_ref& t, const Coefficient& n) { in Prolog_put_Coefficient() function
86 return Prolog_put_Coefficient(u, n) && YAP_Unify(t, u); in Prolog_unify_Coefficient()
|
| H A D | yap_efli.hh | 81 Prolog_put_Coefficient(Prolog_term_ref& t, const Coefficient& n);
|
| /dports/devel/ppl/ppl-1.2/interfaces/Prolog/Ciao/ |
| H A D | ciao_efli.cc | 67 Prolog_put_Coefficient(Prolog_term_ref& t, const Coefficient& n) { in Prolog_put_Coefficient() function
85 Prolog_put_Coefficient(u, n); in Prolog_unify_Coefficient()
|
| H A D | ciao_efli.hh | 82 Prolog_put_Coefficient(Prolog_term_ref& t, const Coefficient& n);
|
| /dports/devel/ppl/ppl-1.2/interfaces/Prolog/SICStus/ |
| H A D | sicstus_efli.cc | 76 Prolog_put_Coefficient(Prolog_term_ref t, const Coefficient& n) { in Prolog_put_Coefficient() function
96 if (Prolog_put_Coefficient(u, n) == SP_SUCCESS) in Prolog_unify_Coefficient()
|
| H A D | sicstus_efli.hh | 82 Prolog_put_Coefficient(Prolog_term_ref t, const Coefficient& n);
|
| /dports/devel/ppl/ppl-1.2/interfaces/Prolog/SWI/ |
| H A D | swi_efli.hh | 82 Prolog_put_Coefficient(Prolog_term_ref t, const Coefficient& n);
|
| H A D | swi_efli.cc | 75 Prolog_put_Coefficient(Prolog_term_ref t, const Coefficient& n) { in Prolog_put_Coefficient() function
|
| /dports/devel/ppl/ppl-1.2/interfaces/Prolog/ |
| H A D | ppl_prolog_common.cc | 917 if (!Prolog_put_Coefficient(t, n)) in Coefficient_to_integer_term()
1652 Prolog_put_Coefficient(t, numerator); in rational_term()
|