Intelligent search strategies for computer problem solving حسب Pearl, Judea