A Tight, Practical Integration of Relations and Functions

As in other fields, in computer science certain objects of study can be synthesized from different basic elements, in different ways, and with different resulting stabilities. In subfields such as artificial intelligence, computational logic, and programming languages various relational and functional ingredients and techniques have been tried for the synthesis of declarative programs.

This text considers the notions of relations, as found in logic programming or in relational databases, a...