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. Nicklaus Wirth
• B. Seymour Papert
• C. Alain Colmerauer
• D. None of these
• E. John McCarthy

Answer: (C)