SPLT 1983: Perros-Guirec, France

@proceedings{DBLP:conf/jfplc/1983,
  editor    = {Mehmet Dincbas},
  title     = {SPLT'83, S{\'e}minaire Programmation en Logique, 22-23 mars
               1983, Perros-Guirec, France},
  booktitle = {SPLT},
  year      = {1983},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Implémentation de PROLOG

• Christian Percebois, A. Lartigue: Deux outils complémentaires pour la récupération de la mémoire dans les interprètes PROLOG. BibTeX
• Patrice Boizumault: Sur la transformation de l'appel terminal en itération dans un interprète PROLOG. BibTeX
• M. Martin: Les nouvelles possibilités de PROLOG/Pascal-Multics. BibTeX
• Michel Van Caneghem: Compilation d'un sous-PROLOG. BibTeX

PROLOG et Bases de Données

• Gilles Berger-Sabbatel, Gia Toan Nguyen: La machine base de données OPALE. BibTeX
• Hervé Gallaire: PROLOG et Bases de Données. BibTeX
• Jean-Marie Nicolas: Bases de données logiques et programmation en logique. BibTeX
• Robert Demolombe: Interface entre PROLOG et un SGBD. BibTeX

Nouveaux systèmes de programmation en logique

• P. Greussay: Un mariage heureux entre LISP et PROLOG: le système LOVLISP. BibTeX
• Serge Bourgault, Mehmet Dincbas, Didier Feuerstein, Jean-Pierre Le Pape: LISLOG: L'an II. BibTeX
• F. Carre, Patrick Sallé: Acteurs et programmation en logique: ALOG. BibTeX
• Mehmet Dincbas, Jean-Pierre Le Pape: Nouvelle implémentation de METALOG. BibTeX

Problèmes généraux

• Pierre Deransart: Une sémantique opérationnelle algébrique de programmes PROLOG. BibTeX
• François Fages: Note sur l'unification des termes de premier ordre finis et infinis. BibTeX
• Alain Colmerauer: Prolog en 10 figures. BibTeX