knowledge representation using predicate logic - Search