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. None of these
• D. Alain Colmerauer
• E. Seymour Papert

Answer: (D)