Université Lille1 - Sciences et Technologies Multi-résolution de programmes PROLOG Multi-resolution of prolog programs 005.434 Multiprogrammation Prolog (langage de programmation) Text Electronic Thesis or Dissertation fr L'accroissement des performances nécessaires au développement des applications en intelligence artificielle utilisant la programmation logique, notamment PROLOG, nécessite une accélération des temps d'exécution, pouvant être obtenue en séquentiel et en parallèle. Un des éléments caractéristiques du modèle d'exécution classique de PROLOG est le retour arrière. Dans les programmes non déterministes, à cause des échecs et des sorties de solutions, le retour arrière peut conduire à la répétition de certaines unifications. Des modèles ont déjà été proposés pour minimiser ou supprimer partiellement le retour arrière. Nous présentons un autre modèle d'exécution sans retour arrière profond, ou pour chaque sous-but de la résolvante, on recherche toutes les solutions possibles avant de traiter le sous-but suivant. Cette stratégie conduit à gérer des instanciations multiples de variables, c'est-à-dire une forme d'environnements multiples. Cette stratégie implique aussi que l'effacement des sous-buts se fasse en prenant en compte les instanciations multiples. On appelle cette stratégie le modèle de multi-résolution. La présence des environnements multiples offre des potentialités de parallélisme de données permettant l'exécution sur des machines parallèles, notamment SPMD. Le modèle a été validé par des simulations qui l'ont montré efficace pour certaines classes de programmes PROLOG aussi bien en séquentiel qu'en parallèle. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1995/50376-1995-47.pdf Sherif ahmed Howaida 1900-01-01 117622087 1995LIL10019 1995-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui ddc:000 ASCII PDF 9999