About Theory and Practice of Logic Programming
Theory and Practice of Logic Programming- 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.