Ends-with-period-p
Determines if a string ends with a period.
Definitions and Theorems
Function: ends-with-period-p
(defun ends-with-period-p (x)
(declare (xargs :guard (stringp x)))
(let ((xl (length x)))
(and (> xl 0)
(eql (char x (- (length x) 1)) #\.))))