Introduction to AI Problem Solving and Search Constraints in Search Knowledge Representation Using Logic Resolution Theorem Proving Extras