Problem Solving In Prolog Is Achieved By Using