next up previous contents
Next: Examples for recursion Up: Relational Abstractions Previous: Comparing two numbers: `ltp'   Contents

Comparing two numbers: `gep'

This abstractions tests whether the first of two numbers is greater than or equal to the second.

(define gep 
   (lambda (m n)
      (zerop (sub n m))))

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

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz