A Tight, Practical Integration of Relations and Functions

• Κύριος συγγραφέας: Boley, Harold (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1712
• Θέματα: 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...

Πίνακας περιεχομένων:

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