default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSPLT 1986: Trégastel, France
- SPLT'86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France. 1986
Contrôle
- Jean-Paul Delahaye, P. Paradinas:
Définitions de stratégies équitables en programmation logique. SPLT 1986: 7-14 - Christian Codognet, Philippe Codognet, Gilberto Filé:
Backtracking intelligent en programmation logique. SPLT 1986: 25-50 - Philippe Lebaube, Brice Lepape:
Prolog et les techniques de contrôle. SPLT 1986: 51-
Méthodologie
- Pierre Deransart, Gérard Ferrand:
Programmation en logique: méthodologie et enseignement. SPLT 1986: 75-90 - J. Durand, M. Rusinovitch:
Vers une méthodologie de programmation en logique: A propos d'une classe de problèmes. SPLT 1986: 91-
Analyse de programmes
- J. Eudes:
Résolution et dépendance entre données dans un programme Prolog. SPLT 1986: 117-132 - G. Landais:
Transformation de programmes Prolog en vue de la compilation. SPLT 1986: 133-
Extensions
- Alain Colmerauer:
Note sur Prolog III. SPLT 1986: 159-174 - J. Y. Cras:
Types et fonctions en Prolog: une approche ensembliste. SPLT 1986: 175-202 - Mehmet Dincbas, Pascal Van Hentenryck:
Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. SPLT 1986: 203-232 - Pascal Yim:
Une nouvelle approche de la programmation en logique. SPLT 1986: 233-252 - Jean Beney, Jean-François Boulicaut:
STARLET: un langage pour une programmation logique fiable. SPLT 1986: 253-
Implémentation
- Serge Le Huitouze, Olivier Ridoux:
Une expérience de réalisation du Gel et du Dif dans MALI. SPLT 1986: 269-280 - Mireille Ducassé:
OPIUM: un outil de trace sophistiqué pour PROLOG. SPLT 1986: 281-292 - Gilles Berger-Sabbatel:
Mesures comportementales sur l'interprétation de Prolog. SPLT 1986: 293-308 - D. Bonnard, P. Broyer, E. Hubert, F. Le Diberder:
Un système ouvert de programmation Prolog. SPLT 1986: 309-
Transformation de programmes
- N. Azibi, Yves Kodratoff, Ernesto Jorge Costa:
Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique. SPLT 1986: 327-344 - Thierry Conrad:
Réarrangement de clauses Prolog. SPLT 1986: 345-
Environnements
- Thierry Gandilhon, B. Ouazan, D. Sciamma:
LOGIC: un environnement de programmation Prolog mêlant interprétation et compilation. SPLT 1986: 357-372 - Michel Rueher, M. C. Thomas, A. Gubert, Didier Ladret:
Une représentation graphique pour Prolog. SPLT 1986: 373-386 - L. Zouiten:
Implémenter Prolog dans un environnement de programmation. SPLT 1986: 387-
Objets et Prolog
- Patrick Sallé, Christiane Massoutie, Marcel Gandriau:
Un langage logique orienté objet. SPLT 1986: 401-
Bases de données et Prolog
- Philippe Lebaube, Brice Lepape:
Evaluation partielle de requêtes dans le cadre du projet EPSILON. SPLT 1986: 411-428 - R. Lescoeur, Jean-Marc Kerisit:
Evaluation ensembliste en "largeur d'abord" dans Prolog. SPLT 1986: 429-442 - Jean-Marc Pugin:
Assuming that you need to assume. SPLT 1986: 443-
Applications
- S. Levionnois, A. Scrizzi:
Gestion d'une base de données virtuelle (BDV): Une application de Métalislog. SPLT 1986: 497-504 - P. Legay, Claudette Sayettat:
Le temps, la chronologie et Prolog. SPLT 1986: 505-520 - J. Y. Murzin:
FAON: a functional abstractor of netlists. SPLT 1986: 521-536 - Patrick Taillibert, S. Varennes:
MI4: Une approche industrielle des systèmes experts. SPLT 1986: 537-
Parallélisme
- Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure:
Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski. SPLT 1986: 553-570 - Jacques Bellone, R. Picca:
Concurrent Prolog: Modèle de calcul et gestion de la mémoire. SPLT 1986: 571-584 - M. Kharoune, Abderrahmane Aggoun:
Deux approches du parallélisme ET en Prolog. SPLT 1986: 585-
Invited paper
- Y. von Kraute:
Ich habe es nicht gewollt. SPLT 1986: 611-
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 2024-11-14 21:10 CET 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:
