Yes indeed! Successful (caveat that term appropriately ;) versions of this prolog+floats idea have used interval analysis in the past. Anyway, yep you can do

Yes indeed! Successful (caveat that term appropriately ;) versions of this prolog+floats idea have used interval analysis in the past. Anyway, yep you can do it, and it is fun!