This book offers a thorough, up-to-date description of the mathematical techniques and instruments required for the semantic analysis of logic programs, covering the authors' own cutting-edge research findings.

By incorporating unconventional mathematical analytical techniques based on topology, domain theory, generalized distance functions, and associated fixed-point theory, it greatly expands the tools and techniques of conventional order theory. The integration of logic programming and connectionist systems/neural networks as well as the relationships between various semantics are all closely examined by the authors.

The topics in the book span the history of logic programming from its infancy to the present. The integration of computational models, knowledge representation and reasoning, and the Semantic Web are discussed, as well as applications to computational logic and potential applications. By combining order theory with novel, unconventional techniques, the authors develop well-known and significant semantics in logic programming from a unified point of view. They closely examine the interactions between various semantics as well as the incorporation of connectionist systems and neural networks and logic programming.