Цитата из книги «Искусственный интеллект и Большие Данные. Без хайпа и наукообразия»

В 1972 году группой сотрудников Марсельского университета во главе с Аленом Колмероэ был разработан PROLOG – язык логического программирования, основанный на исчислении предикатов, используемый для описания данных и логики их обработки.