Forward chaining search implemented.