some first-order predicate calculus with ChatGPT "Let's play a game of Prolog interpreter, where I will input Prolog clauses and you will reply with what the Prolog interpreter would say." Using James Hein's wonderful Prolog experiments textbook at