Prolog

Represent the following statements as formulas of Predicate Calculus, stating theintended interpretation of any predicates and constants that you use. You shouldgive two versions of each […]