Top Answers

1. Does Prolog need GC when the occurs check is globally enabled?
   8 votes
2. Is there any difference between using the "or" operator and using several clauses?
   7 votes
3. Is !/0 supposed to cut through (\+)/1 or not?
   6 votes
4. Is Prolog really based on the closed-world assumption?
   6 votes
5. Up-to-date Prolog implementation benchmarks?
   5 votes