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.
• 
  Patrice Boizumault: Sur la transformation de l'appel terminal en itération dans un interprète PROLOG.
• 
  M. Martin: Les nouvelles possibilités de PROLOG/Pascal-Multics.
• 
  Michel Van Caneghem: Compilation d'un sous-PROLOG.

PROLOG et Bases de Données

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

Nouveaux systèmes de programmation en logique

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

Problèmes généraux

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

last updated on Tue May 21 02:16:17 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page