Representing predicate calculus expressions as Java objects simplifies our implementation, but makes it hard to write the expressions. Write a “front end” to the problem solver that allows a user to...

Representing predicate calculus expressions as Java objects simplifies our implementation, but makes it hard to write the expressions. Write a “front end” to the problem solver that allows a user to enter logical expressions in a friendlier format. Approaches could include a Lisp or Prolog like format or, what is more in the spirit of Java, an XML syntax.