Abstract FR:

Please est un système permettant d'évaluer des programmes en clauses de Horn pures en utilisant des algorithmes de génération d'analyseurs syntaxiques LR. Ce système permet à l'utilisateur d'écrire ses programmes de façon totalement déclarative, ce qu'il ne peut pas faire avec un système prolog classique. Notre système intègre des prédicats prédéfinis d'entrée/sortie et de manipulation dynamique de clauses qui conservent son caractère déclaratif et prennent en compte la cohérence du programme. De tels prédicats ont pu être ajoutes grâce à l'adaptation d'algorithmes de génération incrémentale d'analyseurs. Nous avons défini une sémantique opérationnelle de notre système dans le langage des clauses de Horn augmentées de la négation.