A programming language that uses the logic programming paradigm.

Q: How many prolog engineers does it take to screw in a lightbulb?

A: yes