Abstract

This book is written for students and professionals with an interest in engineering, who need a theoretical as well as practical introduction to logic programming and how it can be used to build knowledge-based systems. It is suitable for an undergraduate course at third of fourth year level. For complete understanding, it requires two years of programming experience with some knowledge of Pascal, but parts of the book should be comprehensible to a wider readership.