Mathematical Aspects of Logic Programming Semantics

Covering the authors'own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventiona...

Full description

Bibliographic Details

Main Authors:	Pascal Hitzler, Anthony Seda
Format:	Book
Published:	CRC Press 2011
Subjects:	Logic programming Programming languages (Electronic computers) > Semantics
Online Access:	View this record in EBSCOhost