A Tight, Practical Integration of Relations and Functions

• Main Author: Boley, Harold (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Edition: 1st ed. 1999.
• Series: Lecture Notes in Artificial Intelligence ; 1712
• Subjects: Artificial intelligence.; Programming languages (Electronic computers).; Mathematical logic.; Computer logic.; Artificial Intelligence.; Programming Languages, Compilers, Interpreters.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.

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

Table of Contents:

• An overview of the relational-functional language RELFUN
• Extended logic-plus-functional programming
• A direct semantic characterization of RELFUN
• Finite domains and exclusions as first-class citizens
• Multiple-valued Horn clauses and their WAM compilation.