Book review: Combinatorics, Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability by B. Bollobas (Cambridge University Press)

Abstract

Can the distinct strengths of logic programming and functional programming be combined into a unified computational model? How can logic languages be extended to include functions and equations? The fourteen papers in this collection address these issues together with their underlying theory and semantics.