next up previous contents
Next: Comparing two numbers: `gep' Up: Relational Abstractions Previous: Comparing two numbers: `gtp'   Contents


Comparing two numbers: `ltp'

This abstraction tests whether the first of two numbers is less than the second.


(define ltp 
   (lambda (m n)
      (not (zerop (sub n m)))))


(bdisp! (ltp two three))
                             --> true
(bdisp! (ltp three two))
                             --> false
(bdisp! (ltp two two))
                             --> false



Georg P. Loczewski 2004-03-05


Impressum und Datenschutz