Please use this identifier to cite or link to this item:
http://dspace.univ-usto.dz/handle/123456789/429| Titre: | Programmation logique: PROLOG Cours & exercices corrigés |
| Auteur(s): | Karima Belmabrouk |
| Mots-clés: | Programmation logique Prédiquat Prolog SWI-Prolog |
| Date de publication: | 19-Jan-2021 |
| Editeur: | University of Science and Technology of Oran |
| Résumé: | Ce 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. |
| URI/URL: | http://dspace.univ-usto.dz/handle/123456789/429 |
| Appears in Collections: | Cours en ligne |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Support de cours-ProLog.pdf | 1,67 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.