smz | This is based on assumptions about the format | Text Editor library

If you change your code to using the paged_search method of the extend.standard namespace instead you should be able to retrieve all the results you are looking for.

Just be aware that you will need to treat the response object differently.

This isn't standardized, but a number of Prologs nowadays provide facilities to maintain and manipulate multiple independent backtrackable states, often known as engines.

For example, using the corresponding primitives in ECLiPSe, you might write

1. Your smz function already exists in the standard Prelude and it's called and.

2. mod can only be used with Integral, mod :: Integral a => a -> a -> a, that means that you can't use an x that has to be a Floating due to sqrt :: Floating a => a -> a, therefore you are left in a situation where your x has to be both an Integral (like Int, for example) and a Floating point number. That's impossible!

   There's a solution for that. You have to convert from either one in either place. I suggest you convert fromIntegral before you shove it to sqrt. That also means that your function's type signature will change, and you should simply remove the current one and see for yourself.

Other than that you might want to keep your where clause under your function declaration like so:

I am not sure what you want but try this