Recognizer for a true list of rational numbers
The predicate rational-listp tests whether its argument is a true list of rational numbers.
Function: rational-listp
(defun rational-listp (l) (declare (xargs :guard t)) (cond ((atom l) (eq l nil)) (t (and (rationalp (car l)) (rational-listp (cdr l))))))
