Prolog + Maths = ? La réponse est dans Springer
A l'occasion de la conférence ICLP 2023 (9-15 juillet, https://lnkd.in/e2_F2yjT), les éditions Springer publient un ouvrage entièrement dédié au langage de programmation logique hashtag#Prolog et ses perspectives : https://lnkd.in/eKkJKaAY. La…