Prolog
У Марселі створили мову логічного програмування, щоб запрограмувати систему діалогу з машиною французькою мовою.
Чому це важливо
Prolog утвердив підхід, у якому знання задаються правилами й фактами, а відповідь отримують виведенням. Це основна альтернатива статистичному навчанню того періоду.
Групу штучного інтелекту в Люміні профінансували за контрактом на спілкування людини з машиною природною мовою з автоматичним виведенням; контракт тривав із лютого 1972 до червня 1973 року. Звіт групи за ним каже, що мову PROLOG, засновану на автоматичному доведенні теорем, розроблено в межах контракту і нею запрограмовано всю систему. Автори пропонують її й лінгвістам як інструмент автоматичної обробки природних мов. Дати першої реалізації звіт не дає: осінь 1972 року, мову Algol-W і роботу на машині Гренобльського університету через телетайп називають лише Кольмерое й Руссель у спогадах 1992 року, хоча анотація тих самих спогадів говорить про попередню версію вже наприкінці 1971-го. 1973 року Баттані й Мелоні написали інтерпретатор на Fortran. Тому рік позначено як приблизний.