- Saturday
- August 24th, 2024
- Ajouter un cours
Termes et Atomes Un terme est defini sur un ensemble de symboles de fonctions et de constantes : si X est une variable alors X est un terme ; si c est une constante alors c est un terme ;...
Contraintes sur les réels (solveur approché) Prolog IV fournit un jeu de contraintes qui nous permet de raisonner sur les nombres réels. Nous prendrons bien soin de ne pas confondre les contraintes linéaires expliquées dans la section précédente avec les...
Syntaxe Les el´ements de base d’un programme Prolog sont les pr´edicats et les termes. Dans connexe(a,X). connexe est un (symbole de) pr´edicat. a est un terme (une constante). X est un terme (une variable). Il n’y a pas de diff´erence...
Substitutions On applique une substitution = fXi =ti gi=1::n a une formule F en remplacant simultanement chaque occurrence libre de Xi par le terme ti , pour 1 i n. Soient p(X ; Y ; f (a)) et = fX...
Concepts de base Que trouve-t-on dans ce chapitre ? Quels sont les concepts fondamentaux de Prolog III ? Quels objets le langage manipule-t-il ? Quelle est la nature des contraintes qui pèseront sur ces objets ? Qu'est-ce qu'un programme Prolog...
Programmation logique avec Prolog Un programme logique est un ensemble de règles définissant des relations entre des objets. Le traitement d’un programme logique est la déduction de conséquences (soit le résultat d’une règle) du programme. Un programme déflnit un ensemble...
Les variables Une variable (ou inconnue) peut remplacer n’importe quel terme Prolog. variable instanciee a un terme : la variable a pour valeur ce terme. variable libre : la variable n’est instanciee a aucun terme. variables liees : des variables...
Un ancêtre de Prolog, les systèmes-Q L'histoire de la naissance de Prolog s'arrête donc à la fin de l'année 1975. Passons maintenant à des aspects plus techniques et tout d'abord décrivons les systèmes-Q, le résultat d’un premier pari : développer...