2022: The Year of Prolog

13 views
Skip to first unread message

Elaine Pimentel

unread,
May 30, 2022, 1:49:41 PM5/30/22
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Celebrating the 50th anniversary of Prolog:

https://prologyear.logicprogramming.org/PrologYear.html

--
Elaine.
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
-----------------------------------

Adolfo Neto

unread,
May 30, 2022, 2:53:09 PM5/30/22
to Elaine Pimentel, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Sugiro assistir:
ALAIN COLMERAUER L'AVENTURE PROLOG
Com legendas em inglês
Cette vidéo retrace l'histoire du langage Prolog créé à Marseille par Alain Colmerauer au début des années 1970 ainsi que les différents développements du langage par la suite.
De nombreux participants et acteurs de cette aventure sont interviewés et permettent de comprendre les origines de la Programmation Logique.

Film réalisé par Colette Colmerauer et Nathanaël Ruiz de Infante, produit par l'association Prolog Heritage.


--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BXTZEjh%2BiLmXRjEf6Kn6jOu%3DR6UE2oOrtHdmguY7%3DiTBw%40mail.gmail.com.


--
==================================================================
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================
Reply all
Reply to author
Forward
0 new messages