[SIGCIS-Members] History of Prolog

Hi all, Prolog was a programming language based on formal logic, designed in 1972 at the university of Marseille by Alain Colmerauer and his team. It was adopted ten years later in Japan to develop AI systems. Nowadays, it is almost as forgotten as Algol or APL. A conference is planned for November 2022 in Paris to pay hommage to Colmerauer and his work. A Colmerauer Prize Committee is formed, chaired by Prof. em. Robert Kowalski, Distinguished Research Fellow at Imperial College, London. I would like to know whether people, beyond Colmerauer's circle, have included Prolog, its development and use, in their historical research. Thanks for your answers! Best regards, Pierre Mounier-Kuhn