Theory and Practice of Logic Programming

Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.

works as

journal containing

On Correctness and Completeness of an n Queens Program (2022) — Włodzimierz Drabent

Fifty Years of Prolog and Beyond (2022) — Philipp Körner, Michael Beuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto

Logic Programming as a Service (2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

Logic-based decision support for strategic environmental assessment (2010) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli

journal hosting

Special Issue of Theory and Practice of Logic Programming: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming