[Xsb-development] @< goes into an infinite loop

[<ki...@cs...>]

Things like
?- '35.3 @< '35.30'.
?- '25 @< 25.'
send XSB into an infinite loop.


	--michael