Maurice Bruynooghe Katholieke Universiteit Leuven, Belgium Published for the Association for Logic Programming Theory and Practice in Logic Programming emphasises both the theory and practice of logic programming.
Logic programming applies to all areas of artificial intelligence and computer science.
Logic programming is fundamental to all these areas. Among the topics covered are AI applications that use logic programming, natural language processing, knowledge representation, nonmonotic reasoning, databases, implementations and architectures and constraint logic programming. In addition to these topics, reviews of books are featured, and cases of elegant and efficient logic programs, which appear in the Logic Programming Pearls section.