Distributed constraint logic programming / Ho-Fung Leung

Information About

This book presents research work done for the author''s Ph.D. degree at Imperial College of Science, Technology and Medicine, University of London. There are three main parts in this book, each of which is composed of several novel results.In the first part a new concurrent execution model, the multi-Pandora model, for logic programs is presented. In the second part the distributed implementation schemes for the Parlog, Pandora and multi-Pandora abstract machines are presented. In the third part the distributed constraint solving capability is further extended to the domains of real numbers and Boolean rings. This distributed real domain constraint solver, which accepts 'ask'- and 'tell'- constraints in the form of linear equations and linear inequalities, allows constraints to be generated asynchronously on different nodes in the system containing new, existing and remote variables.