Predicate Logic In Expert System