Université Lille1 - Sciences et Technologies Contribution à l'étude des sémantiques axiomatiques de Prolog Towards the study of axiomatic semantics within logic programming 005.115 Prolog (langage de programmation) Programmation logique Langages de programmation logique Langages de programmation Sémantique Text Electronic Thesis or Dissertation fr La sémantique opérationnelle des programmes Prolog(définis) la plus fréquemment étudiée fait implicitement l'hypothèse que ces programmes sont évalués par des interpréteurs idéaux (en largeur d'abord et équitables). En conséquence, les résultats théoriques très complets qui ont été obtenus jusqu'à présent ne s'appliquent pas aux interpréteurs standard usuels. Nous définissons de nouvelles sémantiques opérationnelles, adaptées aux interpréteurs standards ou plus généralement, décrivant un noyau calculable quel que soit l'interpréteur envisagé. Nous montrons ensuite que ces sémantiques peuvent être caractérisées axiomatiquement ; ces résultats constituent donc une version plus réaliste et plus générale des résultats classiques. Nous avons utilisé, au cours de cette étude, une technique de dédoublement des symboles de prédicats dont nous avons étudié systématiquement les rapports avec la logique trivaluée. Nous avons également démontré des théorèmes de complétude en logiques bivaluée et trivaluée s'appliquant à des classes générales de programmes logiques (comprenant bon nombre des traductions axiomatiques rencontrées en programmation logique) dans le cadre de la Théorie Équationnelle de Clark. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1990/50376-1990-243.pdf Denis François 1900-01-01 103914803 1990-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Delahaye Jean-Paul 07922654X ddc:000 ASCII PDF 9999