Part I. Theory -- 1. Datalog: concepts, history, and outlook / David Maier, K. Tuncay Tekle, Michael Kifer, David S. Warren -- 1.1 Introduction -- 1.2 The emergence of datalog -- 1.3 Coining "datalog" -- 1.4 Extensions to datalog -- 1.5 Evaluation techniques -- 1.6 Early datalog and deductive database systems -- 1.7 The decline and resurgence of datalog -- 1.8 Current systems and comparison -- 1.9 Conclusions -- Acknowledgments -- References -- 2. An introduction to the stable and well-founded semantics of logic programs / Miroslaw Truszczynski -- 2.1 Introduction -- 2.2 Terminology, notation, and other preliminaries -- 2.3 The case of horn logic programs -- 2.4 Moving beyond horn programs: an informal introduction -- 2.5 The stable model semantics -- 2.6 The well-founded model semantics -- 2.7 Concluding remarks -- Acknowledgments -- References -- 3. A survey of probabilistic logic programming / Fabrizio Riguzzi, Theresa Swift -- 3.1 Introduction -- 3.2 Languages with the distribution semantics -- 3.3 Defining the distribution semantics -- 3.4 Other semantics for probabilistic logics -- 3.5 Probabilistic logic programs and Bayesian networks -- 3.6 Inferencing in probabilistic logic programs -- 3.7 Discussion -- Acknowledgments -- References --

Part II. Systems -- 4. WAM for everyone: a virtual machine for logic programming / David S. Warren -- 4.1 Introduction -- 4.2 The run-time environment of a traditional procedural language -- 4.3 Deterministic datalog -- 4.4 Deterministic prolog -- 4.5 Nondeterministic prolog -- 4.6 Last call optimization -- 4.7 Indexing -- 4.8 Environment trimming -- 4.9 Features required for full prolog -- 4.10 WAM extensions for tabling -- 4.11 Concluding remarks -- Acknowledgments -- References -- 5. Predicate logic as a modeling language: the IDP system / Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker -- 5.1 Introduction -- 5.2 FO(ID, AGG, PF, T), the formal base language -- 5.3 IDP as a knowledge base system -- 5.4 The IDP language -- 5.5 Advanced features -- 5.6 Under the hood -- 5.7 In practice -- 5.8 Related work -- 5.9 Conclusion -- References -- 6. SolverBlox: algebraic modeling in datalog / Conrado Borraz-Sanchez, Diego Klabjan, Emir Pasalic, Molham Aref -- 6.1 Introduction -- 6.2 Datalog -- 6.3 LogicBlox and LogiQL -- 6.4 Mathematical programming with LogiQL -- 6.5 The traveling salesman problem (TSP) test case -- 6.6 Conclusions and future work -- References --

Part III. Applications -- 7. Exploring life: answer set programming in bioinformatics / Alessandro Dal Palu, Agostino Dovier, Andrea Formisano, Enrico Pontelli -- 7.1 Introduction -- 7.2 Biology in a nutshell -- 7.3 Answer set programming in a nutshell -- 7.4 Phylogenetics -- 7.5 Haplotype inference -- 7.6 RNA secondary structure prediction -- 7.7 Protein structure prediction -- 7.8 Systems biology -- 7.9 Other logic programming approaches -- 7.10 Conclusions -- Acknowledgments -- References -- 8. State-space search with tabled logic programs / C. R. Ramakrishnan -- 8.1 Introduction -- 8.2 Finite-state model checking -- 8.3 Infinite-state model checking -- 8.4 Simple planning via tabled search -- 8.5 Discussion -- Acknowledgments -- References -- 9. Natural language processing with (tabled and constraint) logic programming / Henning Christiansen, Veronica Dahl -- 9.1 Introduction -- 9.2 Tabling, LP, and NLP -- 9.3 Tabled logic programming and definite clause grammars -- 9.4 Using extra arguments for linguistic information -- 9.5 Assumption grammars: DCGs plus global memory -- 9.6 Constraint handling rules and their application to language processing -- 9.7 Hypothetical reasoning with CHR and Prolog: Hyprolog -- 9.8 A note on the usefulness of probabilistic logic programming for language processing -- 9.9 Conclusion -- References -- 10. Logic programming applications: what are the abstractions and implementations? / Yanhong A. Liu -- 10.1 Introduction -- 10.2 Logic language abstractions -- 10.3 Join and database-style queries -- 10.4 Recursion and inductive analysis -- 10.5 Constraint and combinatorial search -- 10.6 Further extensions, applications, and discussion -- 10.7 Related literature and future work -- Acknowledgments -- References -- Index -- Biographies.