2 ms·

What do you mean by you tried it?

• astrange 2y ago
  Generated some Prolog programs and looked at them and they were wrong. Specifically, it usually decides it knows what the answer is (and gets it wrong), then optimizes out the part of the program that does anything.