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. Alain Colmerauer
• B. Niklaus Wirth
• C. Seymour Papert
• D. John McCarthy