12.4.11 Exchanging GMP numbers
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
      • Foreign Language Interface
        • The Foreign Include File
          • Exchanging GMP numbers
            • PL_get_mpz()
            • PL_get_mpq()
            • PL_unify_mpz()
            • PL_unify_mpq()
    • Packages
Availability:C-language interface function
bool PL_unify_mpq(term_t t, mpq_t mpq)
Unify t with a rational number represented by mpq and return TRUE on success. Note that t is unified with an integer if the denominator is 1. The mpq argument is not changed.