• 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 ofExpand
  • 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
A Basis Result in Combinatory Logic
  • R. Legrand
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1 December 1988
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
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
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 theExpand