3 ms·

Prolog is a programming language for turning polynomial-time algorithms into exponential ones.

• zmonx 9y ago
  And, true to form, it often works in the other direction too! Especially with CLP(FD) and other Prolog constraints.