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.