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.