Concepedia

First-order Logic Programming

First-Order Logic Programming is a formal computational paradigm within logic programming that uses first-order logic as its foundational language, distinguishing itself by allowing quantification over individuals but not over predicates or functions, thereby enabling the representation of relations and rules through Horn clauses grounded in first-order predicate calculus.

217

Publications

11.1K

Citations

358

Authors

171

Institutions

Publications per year

2017–2026

16

Parents

Publications

217

Inductive logic programming

Stephen Muggleton · New Generation Computing · 1991 · 945 citations

, , +16

Uniform proofs as a foundation for logic programming

Dale Miller, Gopalan Nadathur, Frank Pfenning et al. · Annals of Pure and Applied Logic · 1991 · 576 citations

, , +16

An optimal lower bound on the number of variables for graph identification

Jin‐Yi Cai, Martin F�rer, Neil Immerman · COMBINATORICA · 1992 · 502 citations

, , +16

The integration of functions into logic programming: From theory to practice

Michael Hanus · The Journal of Logic Programming · 1994 · 426 citations · Full text

, , +13

The execution algorithm of mercury, an efficient purely declarative logic programming language

Zoltán Somogyi, Fergus Henderson, Thomas Conway · The Journal of Logic Programming · 1996 · 334 citations

, , +10

1–5 of 217

Authors

358

  1. DM
    Dale Miller

    University of Pennsylvania, United States

    8 publications · 1K citations

    8

    h-index

  2. GN
    Gopalan Nadathur

    Duke University, United States

    6 publications · 881 citations

    6

    h-index

  3. JL
    Joohyung Lee

    Arizona State University, United States

    5 publications · 242 citations

    5

    h-index

  4. SM
    Stephen Muggleton

    Imperial College London, United Kingdom

    5 publications · 1.3K citations

    5

    h-index

  5. TS
    Torsten Schaub

    University of Potsdam, Germany

    4 publications · 236 citations

    4

    h-index

1–5 of 358

Institutions

171

  1. Arizona State University

    Tempe, United States

    7 h-index

    13 publications

    502 citations

  2. Imperial College London

    London, United Kingdom

    6 h-index

    7 publications

    126 citations

  3. Cornell University

    Ithaca, United States

    6 h-index

    8 publications

    407 citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    6 h-index

    11 publications

    808 citations

  5. University of Pennsylvania

    Philadelphia, United States

    5 h-index

    7 publications

    1.5K citations

  6. KU Leuven

    Leuven, Belgium

    5 h-index

    10 publications

    181 citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    4 h-index

    9 publications

    1K citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    6 publications

    177 citations

1–8 of 171

Venues

  1. arXiv (Cornell University)

    Repository · 8 publications · 191 citations

    8

    h-index

  2. The Journal of Logic Programming

    8 publications · 953 citations

    8

    h-index

  3. Theoretical Computer Science

    5 publications · 386 citations

    5

    h-index

  4. International Conference on Logic Programming

    Conference · 5 publications · 265 citations

    5

    h-index

  5. SLP

    4 publications · 223 citations

    4

    h-index

1–5