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_mpz(term_t t, mpz_t mpz)
Unify t with the integer value represented by mpz and return TRUE on success. The mpz argument is not changed.