R. Legrand

Publications10
h-index2
Citations5
Highly Influential Citations0
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • P. Bellot
  • 58 Publications, 425 Citations
  • M. Bellia
  • 71 Publications, 333 Citations
  • G. Levi
  • 164 Publications, 2,933 Citations
  • K. Apt
  • 331 Publications, 12,687 Citations
  • Publications
  • Influence
Extending Functional Programming Towards Relations
This article describes the relational programming paradigm. Because a function is a particular case of relation, we can consider the computation of points-to-set processes (relations) instead of… Expand
  • 3
Calcul relationnel et programmation en logique
Presentation d'un systeme de programmation en logique base sur le calcul relationnel: description du langage sans variable graal et son extension relationnelle grel; definition des relations;… Expand
  • 2
Une machine à réduction d'un langage logique exploitant le parallélisme d'ADA
A Basis Result in Combinatory Logic
  • R. Legrand
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1 December 1988
TLDR
We show that a basis for combinatory logic must contain at least one combinator with rank strictly greater than two. Expand
Relationnalisation des programmes logiques
Functions and Relations: The GRAAL System
TLDR
GRAAL, acronym of General Recursivc Applicative and Algorithmic Language, is the name of a functional programming system issued from FP systems and Combinatory Logic. Expand
Evaluation of logic programs in a relational language
TLDR
We present in this article a new approach to the compilation of logic programs based on the relationalization of literals into relations, which are evaluated in a relational language named Grel. Expand
A self-navigating mobile robot
Mobile robots can go places where it is undesireable or unsafe for humans to go. With only a modest amount of on-board computer capability, a robot can accomplish important tasks without the… Expand
Gel implicite, calcul formel et résolution d'équations en programmation logique
Le calcul relationnel au service de l'implantation d'un langage de programmation logique