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 motivationbehind 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 thedistinguishing 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 areaof computer science, in the knowledge and software engineering area for students in engineering and the physical sciences.