Searching in examples/prolog