Searching in examples/benchmarks/xprolog