Karima Belmabrouk2021-01-192021-01-192021-01-19https://dspace.univ-usto.dz/handle/123456789/429Ce cours est destiné aux étudiants inscrits en 3ème année licence. Il permet de découvrir un nouveau paradigme de programmation, la programmation logique. C’est une initiation à la programmation en logique : application de certaines notions vues en cours de logique. Et il permet aux étudiants de découvrir la programmation en Prolog avec utilisation de quelques exemples liés aux cours de théorie des langages et d'analyse et compilation.Programmation logiquePrédiquatPrologSWI-PrologWorking Paper