How many prolog programmers does it take to change a lightbulb? Yes.