Theory and Practice of Logic Programming

Aims & Scope

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.

View Aims & Scope

---

Metrics & Ranking

Impact Factor

Year	Value
2025	1.1
2024	1.40

SJR (SCImago Journal Rank)

Year	Value
2024	0.609

Quartile

Year	Value
2024	Q2

h-index

Year	Value
2024	52

Journal Rank

Year	Value
2024	9527

Journal Citation Indicator

Year	Value
2024	207

---

---

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Web of Science

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science and Mathematics, designed to support cutting-edge academic discovery.

---

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• Defeasible logic programming: an argumentative approach

  Citation: 412

  Authors: ALEJANDRO J., GUILLERMO R.

• SWI-Prolog

  Citation: 293

  Authors: JAN, TOM, MARKUS, TORBJÖRN

• Multi-shot ASP solving with clingo

  Citation: 169

  Authors: MARTIN, ROLAND, BENJAMIN, TORSTEN

• Inference and learning in probabilistic logic programs using weighted Boolean formulas

  Citation: 147

  Authors: DAAN, GUY, JORIS, DIMITAR, BERND, INGO, GERDA, LUC

• Probabilistic reasoning with answer sets

  Citation: 122

  Authors: CHITTA, MICHAEL, NELSON

• N3Logic: A logical framework for the World Wide Web

  Citation: 120

  Authors: TIM, DAN, LALANA, YOSI, JIM

• Answer sets for consistent query answering in inconsistent databases

  Citation: 117

  Authors: MARCELO, LEOPOLDO, JAN

• ASP-Core-2 Input Language Format

  Citation: 116

  Authors: FRANCESCO, WOLFGANG, MARTIN, GIOVAMBATTISTA, ROLAND, THOMAS, NICOLA, MARCO, FRANCESCO, TORSTEN

• XSB: Extending Prolog with Tabled Logic Programming

  Citation: 101

  Authors: TERRANCE, DAVID S.

• On the implementation of the probabilistic logic programming language ProbLog

  Citation: 95

  Authors: ANGELIKA, BART, LUC, VÍTOR SANTOS, RICARDO

---