Searching in prologtests