»
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.
http://journals.cambridge.org/action/displayJournal?jid=TLP