Predicate Logic used for representing human knowledge. But limitation is that, the knowledge should contains statements which are either true or…