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?

• Alain Colmerauer
• Nicklaus Wirth
• Seymour Papert
• John McCarthy
• None of the above