Top Answers

1. How to determine if two propositional formulas are equivalent in Prolog?
   6 votes
2. Free Variable in Prolog
   4 votes
3. How to find someone who only published one book?
   3 votes
4. Most General Unifier (Prolog)
   2 votes
5. Remove invariants from some prolog list?
   2 votes