First Order Problem Solving Definition