Searching in prologtests/examples