Book review: Combinatorics, Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability by B. Bollobas (Cambridge University Press)
W. Marek · ACM SIGART Bulletin · 1987
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.