SWI-Prolog -- API-function PL_unify

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

int 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.