PROLOG is an AI programming language which solves problems with a form of symbolic logic known as predicate calculus. It was developed in 1972 at the University of Marseilles by a team of specialists. Can you name the person who headed this team?

• A. John McCarthy
• B. Nicklaus Wirth
• C. Seymour Papert
• D. Alain Colmerauer
• E. None of these

Answer: (D)