Présentation
Auteur(s)
-
Laurent TRILLING :
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleINTRODUCTION
1 Introduction
2 Clauses de Horn, variables et constantes
2.1 Clauses de Horn
2.2 Expressions de faits
2.3 Question ou théorème à démontrer
2.4 Variable
2.5 Non-déterminisme
2.6 Conjonction de questions
2.7 Introduction de règles de déduction
2.8 Union de questions
2.9 Définition récursive de prédicat
3 Listes
3.1 Variables et listes. Notion d'unification
3.2 Exemple classique: concat (x, y, z)
3.3 Pouvoir d'expression comparé des prédicats
3.4 Autre exemple nécessitant cette fois la négation
4 Arbres
4.1 Arbres représentés par une liste de listes
4.2 Forme générale des termes
4.3 Unification
5 Domaine d'application classique: analyse syntaxique ettraduction
5.1 Spécification de l'analyseur
5.2 Construction de la traduction
5.3 Problème pratique posé par l'exécution d'une telle spécification
5.4 Modification de la traduction
6 Primitives de contrôle et entrées-sorties
6.1 Slash ou coupure
6.2 Réalisation (incomplète) de la négation
6.3 Prédicats pris et libre
6.4 Entrées-sorties
6.5 Prédicats ajout et supprimer
7 Notions sur la mise en œuvre et les performances
8 PROLOG et démonstration de théorèmes
8.1 Problème
8.2 Résolution
8.3 Preuve par réfutation
9 Conclusion
Bibliographie
DOI (Digital Object Identifier)
CET ARTICLE SE TROUVE ÉGALEMENT DANS :
Accueil > Ressources documentaires > Archives > [Archives] Technologies logicielles et architecture des systèmes > PROLOG
Cet article fait partie de l’offre
Traçabilité
(51 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Cet article fait partie de l’offre
Traçabilité
(51 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Cet article fait partie de l’offre
Traçabilité
(51 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive