|
|
libcats.org
A tight, practical integration of relations and functionsHarold BoleyAs 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, and of functions, as found in functional programming or in equational languages. We study a declarative integration which is tight, because it takes place right at the level of these notions, and which is still practical, because it preserves the advantages of the widely used relational and functional languages PROLOG and LISP. The resulting relational and functional language, RELFUN, is used here for exemplifying all integration principles.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
За порогом вероятного?Автор: Непомнящий Николай НиколаевичКатегория: Научная литература
Размер книги: 446 Kb
Thermodynamics of Systems Containing Flexible-Chain PolymersАвтор: V.J. Klenin
Размер книги: 22.67 Mb
In context: history and the history of technology : essays in honor of Melvin KranzbergАвтор: Melvin Kranzberg, Автор: Stephen H. Cutcliffe, Автор: Robert C. Post
Размер книги: 963 Kb
Das Zwanzigste Jahrhundert II: Europa nach dem Zweiten WeltkriegАвтор: Benz Wolfgang, Автор: Graml HermannКатегория: fiction
Размер книги: 3.49 Mb
|
|
|