How many Prolog programmers does it take to change a 💡 light bulb? Yes.