A Tight, Practical Integration of Relations and Functions

By: Harold Boley

Write A Review

Paperback | 1 October 1999

At a Glance

Paperback
188 Pages

Dimensions(cm)
22.86 x 15.24 x 0.64

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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, 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Databases Computer Science Computer Architecture & Logic Design Medicine Medicine in General Artificial Intelligence Computer Programming & Software Development Programming & Scripting Languages Mathematics Mathematical Foundation

Mathematical Logic

An Overview of the Relational-Functional Language RELFUN	p. 1
Extended Logic-plus-Functional Programming	p. 21
A Direct Semantic Characterization of RELFUN	p. 55
Finite Domains and Exclusions as First-class Citizens	p. 89
Multiple-valued Horn Clauses and Their WAM Compilation	p. 117
Bibliography	p. 161
Table of Contents provided by Blackwell. All Rights Reserved.

A Tight, Practical Integration of Relations and Functions

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

The Tech Coup

How to Save Democracy from Silicon Valley

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Nexus

A Brief History of Information Networks from the Stone Age to AI

Creative Machines

AI, Art & Us

Empire of AI

Inside the reckless race for total domination

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Artificial Intelligence and Human Rights, Democracy, and the Rule of Law

Computational Intelligence Techniques

Handbook of Smart Manufacturing Technologies

Industrial Engineering in the Digital Age

Unleashing User Innovation

Multidisciplinary Perspectives on End-User Development and Generative AI

Bioengineering and IoT

Shaping the Future of Healthcare

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Driving Intelligence: The Green Book

Routes to Autonomy

The Shortest History of AI

Generative Artificial Intelligence

Technology and Applications

Emerging Trends in Information Systems and Technologies

WorldCIST 2025 Volume 2

Ideal Subjects Volume 76

The Abstract People of AI

Ideal Subjects Volume 76

The Abstract People of AI

Building Machine Learning Systems with a Feature Store

Batch, Real-Time, and LLM Systems

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Knowledge and Systems Sciences

24th International Symposium, KSS 2025, Kitakyushu, Japan, November 28 - December 1, 2025, Proceedings

ICT Systems and Sustainability

Proceedings of ICT4SD 2025, Volume 3

Data Science and Network Engineering

Proceedings of ICDSNE 2025

Document Analysis and Recognition - ICDAR 2025 Workshops

Wuhan, China, September 20-21, 2025, Proceedings, Part I

This product is categorised by