• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 31 matches

• 1987
• 
  Abderrahmane Aggoun, J. Y. Charpentier, J. P. Lepape, D. Ranson:
  Compilation de Prolog sur une machine de traitement symbolique. SPLT 1987: 225-244
• 
  Gustavo Arango:
  Prolog est-il un outil idéal pour la construction de prototypes? SPLT 1987: 211-
• 
  M. Arnoux, G. Becker, M. C. Thomas:
  Un système de frames expertes en Prolog. SPLT 1987: 507-
• 
  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-
• 
  Hendrika Buelinckx, Ph. Francois, M. Fregier:
  Une implémentation de grammaire de forme en Prolog II. SPLT 1987: 173-184
• 
  David Chan, Pierre Dufresne, Reinhard Enders:
  PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System. SPLT 1987: 77-108
• 
  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-
• 
  Philippe Codognet:
  Programmation logique parallèle 87. SPLT 1987: 411-440
• 
  Thierry Conrad:
  Termes typés et termes globaux en Prolog. SPLT 1987: 119-130
• 
  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
• 
  Pierre Deransart:
  Preuves de correction partielle des programmes logiques. SPLT 1987: 29-
• 
  Pierre Deransart, C. Moss, G. Richard:
  Spécification formelle de Prolog standard. SPLT 1987: 455-
• 
  Louis Dewez, E. Mafety:
  Modulog "isa" Prolog. SPLT 1987: 141-
• 
  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-
• 
  Gérard Ferrand:
  Une reconstruction de la programmation en logique avec négation. SPLT 1987: 7-28
• 
  Laurent Fribourg:
  List concatenation via extended unification. SPLT 1987: 45-58
• 
  J. Fumeron:
  De Prolog à Bull-Oasis: connaissances et résolution à vocation industrielle. SPLT 1987: 185-210
• 
  Thierry Gandilhon:
  Proposition d'une extension objet minimale pour Prolog. SPLT 1987: 483-506
• 
  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
• 
  Remi Legrand:
  Le calcul relationnel au service de l'implantation d'un langage de programmation logique. SPLT 1987: 333-
• 
  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
• 
  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-
• 
  A. El Mhamedi:
  Interface Prolog-Graphique. SPLT 1987: 379-390
• 
  Jean-François Monin, E. Barrielle:
  Est-ce que Prolog sait lire? SPLT 1987: 131-140
• 
  Jean-Marie Nicolas:
  Sur l'intégration des technologies IA et BD. SPLT 1987: 545-
• 
  S. Pelhat:
  Les boucles dans Prolog: structures et origines. SPLT 1987: 153-
• 
  Jean-Marc Pugin:
  Using integrity constraints to control hypotheses formation. SPLT 1987: 359-
• 
  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
• 
  Celestin Sedogbo, Franz Guenthner:
  Some remarks on the treatment of errors in natural language processing systems. SPLT 1987: 391-
• 
  Nadya Tareb, Yves Kodratoff:
  Synthèse de spécifications à partir de programmes. SPLT 1987: 265-

skipping 1 more match