Advances in Logic Programming Theory

BL This book presents the latest research in the area of the new programming paradigm - logic programming. These papers are based on presentations at an international summer school and together provide an accessible route to the frontiers of the subject - going as they do - far beyond classical theory to present the latest research in a systematic way for the first time.