Patrick Blackburn

7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings a cura di Patrick Blackburn a cura di Emiliano Lorini a cura di Meiyun Guo

7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings a cura di Patrick Blackburn a cura di Emiliano Lorini a cura di Meiyun Guo

...

4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings a cura di Patrick Blackburn a cura di Chiara Ghidini a cura di Roy M. Turner

O Prolog é uma linguagem de programação, mas uma linguagem pouco usual. A designação "Prolog'' é abreviatura de "Programming with Logic'' e a relação com a lógica é o que dá ao Prolog o seu perfil esp...