Hacker News Reader

+1

... and then implement Prolog in Lisp so you can write Prolog on your Lisp code as well (this has been done many times)

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

And, true to form, it often works in the other direction too!

Especially with CLP(FD) and other Prolog constraints.

why not both