Bøger af John W. Lloyd

In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. In the second edition, I discuss a larger class of programs than that discussed in the first edition.

This book provides a systematic approach to knowledge representation, computation, and learning using higher-order logic.