Le ‬traitement des contraintes booléennes dans PROLOG III

Processing boolean constraints in PROLOG III

• Auteur / Autrice : Frédéric Benhamou, Jean-Marc Boï
• Direction : Alain Colmerauer
• Type : Thèse de doctorat
• Discipline(s) : Informatique et mathématiques. Intelligence artificielle
• Date : Soutenance en 1988
• Etablissement(s) : Aix-Marseille 2
• Partenaire(s) de recherche : Autre partenaire : Université d'Aix-Marseille II. Faculté des sciences (1969-2011)

Mots clés

Mots clés contrôlés

Prolog (langage de programmation)

Intelligence artificielle

Mots clés libres

Sciences appliquees

Informatique

Automatique theorique

Systemes

These

Expression booleenne

Calcul propositionnel

Interpreteur

Prolog

Programmation logique

Langage programmation

Informatique theorique

Systeme expert

Thesis

Boolean expression

Propositional calculus

Interpreter

Prolog

Logical programming

Programming language

Computer theory

Expert system

Résumé

Developpement d'un algorithme de resolution de contraintes booleennes suffisamment specifique pour etre integre au sein du prototype actuel de l'interpreteur prolog iii. Cette integration a provoque l'etude des problemes de coherence et de simplification d'un ensemble de clauses propositionnelles, ainsi que ceux lies a l'implantation de cet algorithme. Un certain nombre d'applications sont presentees