With increasing frequency, PROLOG is the language of choice for many applications in artificial intelligence. This popularity of PROLOG, coupled with the importance of artificial intelligence applications, underscores the need for an integrative text and reference in this area. The motivation behind this book is to present for the first time a cohesive text for artificial intelligence and software development using PROLOG as the language. The essentials of the concepts, artificial intelligence, logic programming and software engineering are presented here in one coherent book. One of the distinguishing features of the book will be its unified treatment of computation and software designs, and as such, will appeal to users of computation, mainly engineers and physical scientists, as well as computer scientists. These courses are offered frequently in the artificial intelligence area of computer science, in the knowledge and software engineering area for students in engineering and the physical sciences.