default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSPLT 1987: Trégastel, France
- SPLT'87, Séminaire Programmation en Logique, 19-21 mai 1987, Trégastel, France. 1987
Sémantique de la programmation en logique
- Gérard Ferrand:
Une reconstruction de la programmation en logique avec négation. SPLT 1987: 7-28 - Pierre Deransart:
Preuves de correction partielle des programmes logiques. SPLT 1987: 29-
Extensions
- Laurent Fribourg:
List concatenation via extended unification. SPLT 1987: 45-58 - J. P. Lepape, Serge Bourgault, D. Ranson:
LISLOG-C: Une première étape vers l'expression généralisée des contraintes en programmation en logique. SPLT 1987: 59-76 - David Chan, Pierre Dufresne, Reinhard Enders:
PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System. SPLT 1987: 77-108 - Paul Y. Gloess, Dung T. Nguyen:
Exploitation prédictive de grammaires de métamorphose par une extension de la logique de Prolog. SPLT 1987: 109-118 - Thierry Conrad:
Termes typés et termes globaux en Prolog. SPLT 1987: 119-130 - Jean-François Monin, E. Barrielle:
Est-ce que Prolog sait lire? SPLT 1987: 131-140 - Louis Dewez, E. Mafety:
Modulog "isa" Prolog. SPLT 1987: 141-
Détection des boucles
Applications
- Hendrika Buelinckx, Ph. Francois, M. Fregier:
Une implémentation de grammaire de forme en Prolog II. SPLT 1987: 173-184 - J. Fumeron:
De Prolog à Bull-Oasis: connaissances et résolution à vocation industrielle. SPLT 1987: 185-210 - Gustavo Arango:
Prolog est-il un outil idéal pour la construction de prototypes? SPLT 1987: 211-
Implémentation
- Abderrahmane Aggoun, J. Y. Charpentier, J. P. Lepape, D. Ranson:
Compilation de Prolog sur une machine de traitement symbolique. SPLT 1987: 225-244 - Louis Chevalier, Serge Le Huitouze, Olivier Ridoux:
Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire. SPLT 1987: 245-
Spécification
- Nadya Tareb, Yves Kodratoff:
Synthèse de spécifications à partir de programmes. SPLT 1987: 265-
Contrôle
- Jean-Paul Delahaye:
Différences entre la sémantique déclarative et la sémantique procédurale d'un programme Prolog avec coupe-choix. SPLT 1987: 285-306 - A. Belkhiri:
Une technique de backtracking intelligent, basée sur un algorithme d'unification étendu et sur la datation du processus de résolution. SPLT 1987: 307-
Nouveaux formalismes
- Remi Legrand:
Le calcul relationnel au service de l'implantation d'un langage de programmation logique. SPLT 1987: 333-
Mécanismes d'explication
- Claire Saurel:
EXPLINEG1: Une méthode de génération d'explications négatives dans les systèmes à base de connaissances formalisées en logique des prédicats. SPLT 1987: 347-358 - Jean-Marc Pugin:
Using integrity constraints to control hypotheses formation. SPLT 1987: 359-
Environnements
- A. El Mhamedi:
Interface Prolog-Graphique. SPLT 1987: 379-390 - Celestin Sedogbo, Franz Guenthner:
Some remarks on the treatment of errors in natural language processing systems. SPLT 1987: 391-
Parallélisme
- Philippe Codognet:
Programmation logique parallèle 87. SPLT 1987: 411-440 - R. Elboussarghini, D. Herman:
Interprétation parallèle de Prolog et Bases de données: Une application de l'algorithme de jointure par tri et composition. SPLT 1987: 441-
Sémantique de la programmation en logique
- Pierre Deransart, C. Moss, G. Richard:
Spécification formelle de Prolog standard. SPLT 1987: 455-
Objets et Prolog
- Thierry Gandilhon:
Proposition d'une extension objet minimale pour Prolog. SPLT 1987: 483-506 - M. Arnoux, G. Becker, M. C. Thomas:
Un système de frames expertes en Prolog. SPLT 1987: 507-
Mesures
- Brice Lepape, M. Sellami, J. P. Aubert:
Banc d'essai pour les principales versions de Prolog. Réalisation et mesures de performances. SPLT 1987: 529-
Papier invité
- Jean-Marie Nicolas:
Sur l'intégration des technologies IA et BD. SPLT 1987: 545-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-17 00:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
