Declarative logic programming : theory, systems, and applications / Michael Kifer, Yanhong Annie Liu.

Format:

Book

Author/Creator:

Kifer, M. (Michael), 1954- editor, author.

Contributor:

Liu, Yanhong Annie, 1965- editor, author.

Series:

ACM books ; 2374-6777 #20.

ACM books, 2374-6777 ; #20

Language:

English

Subjects (All):

Logic programming.

Declarative programming.

Physical Description:

1 online resource (xx, 595 pages) : illustrations.

Edition:

First edition.

Place of Publication:

[New York] : Association for Computing Machinery ; [San Rafael, California] : Morgan & Claypool, 2018.

System Details:

Mode of access: World Wide Web.

System requirements: Adobe Acrobat Reader.

Summary:

The goal of this book is to help fill in the previously mentioned void in the LP literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students. The following chapters in theory, systems, and applications of LP are included.

Contents:

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

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

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

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

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

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

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

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

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

Index

Biographies.

Notes:

Includes bibliographical references and index.

Title from PDF title page (viewed on October 2, 2018).

Other Format:

Print version:

ISBN:

9781970001976

OCLC:

1055420111

Access Restriction:

Restricted for use by site license.