Télécharger cours PROgrammation LOGique PROLOG

استعرض الموضوع السابق استعرض الموضوع التالي اذهب الى الأسفل

Télécharger cours PROgrammation LOGique PROLOG

مُساهمة من طرف lwazard_leader في الخميس 24 ديسمبر 2009 - 7:35

هذا درس للأستاذة الكريمة حسيبة طالبي حول PROLOG = PROgrammation LOGique يحتوي على :

1- Présentation
2- Syntaxe et terminoligie Prolog
2-1- Les atomes logiques
2-2- Les termes ( Les variables, Les termes atomiques, Les termes composés )
2-3 Les faits
3- Notion de programme prolog ( Exécution de programme prolog )
4- Signification (sémantique) d'un programme prolog
4-1- Définition préliminaires (Subtitution, Instance, Unificateur, Unificateur plus général)
4-2- Dénotation d'un programme Prolog
4-3- Sémantique opérationnelle (L'arbre de recherche, Stratégie de Prolog)
5- L'unification (Définition, Notation)
6- Arithmétique en Prolog
6-1- Les expressions arithmétiques
6-2- Les opérations arithmétiques
6-3- Les prédicats de comparaison arithmétique
7- Les listes
7-1- Définition
7-2- Prédicats prédéfinis sur les listes (member/2, append/3, intersection/3, reverse/2)
8- La coupure
8-1 Signification opérationnelle de la coupure
8-2- Utilisation de la coupure
9- La négation (Implémentation de la négation)
10- Les Entées Sorties en Prolog
11- Quelques prédicats prédéfinis
11-1 Prédicats de type
11-2- Prédicats de manipulation de termes
11-3- Prédicats findall/3

من [ندعوك للتسجيل في المنتدى أو التعريف بنفسك لمعاينة هذا الرابط]

إنتهى، بالتوفيق للجميع
avatar
lwazard_leader
•-«[ لوازارد عطاء ليس له حدود ]»-•
•-«[ لوازارد عطاء ليس له حدود ]»-•


معاينة صفحة البيانات الشخصي للعضو

الرجوع الى أعلى الصفحة اذهب الى الأسفل

استعرض الموضوع السابق استعرض الموضوع التالي الرجوع الى أعلى الصفحة


 
صلاحيات هذا المنتدى:
لاتستطيع الرد على المواضيع في هذا المنتدى