Concepedia

Higher-order Logic Programming

Higher-Order Logic Programming is a form of logic programming that extends first-order logic programming by permitting predicate variables and higher-order terms in quantification, unification, and rule bodies, thereby enabling the direct representation and manipulation of higher-order logical constructs within the computational model.

64

Publications

3.1K

Citations

93

Authors

48

Institutions

Publications per year

2017–2026

5

Parents

Publications

64

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

Dale Miller · Journal of Logic and Computation · 1991 · 372 citations

, , +13

HiLog: A foundation for higher-order logic programming

Weidong Chen, Michael Kifer, David S. Warren · The Journal of Logic Programming · 1993 · 335 citations

, , +10

A uniform integration of higher-order reasoning and external evaluations in answer-set programming

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer et al. · 2005 · 220 citations

, , +14

An overview of Ciao and its design philosophy

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro et al. · Theory and Practice of Logic Programming · 2011 · 150 citations · Full text

, , +13

A Logic Programming Approach to Manipulating Formulas and Programs

Dale Miller, Gopalan Nadathur · 1987 · 112 citations

, , +16

1–5 of 64

Authors

93

  1. DM
    Dale Miller

    University of Pennsylvania, United States

    9 publications · 890 citations

    9

    h-index

  2. GN
    Gopalan Nadathur

    Duke University, United States

    6 publications · 328 citations

    7

    h-index

  3. FP
    Frank Pfenning

    Carnegie Mellon University, United States

    6 publications · 189 citations

    6

    h-index

  4. BP
    Brigitte Pientka

    McGill University, Canada

    3 publications · 66 citations

    3

    h-index

  5. MH
    Michael Hanus

    Christian-Albrechts-Universität zu Kiel, Germany

    2 publications · 89 citations

    2

    h-index

1–5 of 93

Institutions

48

  1. University of Pennsylvania

    Philadelphia, United States

    7 h-index

    8 publications

    874 citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    6 publications

    172 citations

  3. California University of Pennsylvania

    California, United States

    3 h-index

    4 publications

    336 citations

  4. University of California, Berkeley

    Berkeley, United States

    2 h-index

    4 publications

    208 citations

  5. Universidad Complutense de Madrid

    Madrid, Spain

    2 h-index

    3 publications

    234 citations

  6. McGill University

    Montreal, Canada

    2 h-index

    2 publications

    34 citations

  7. Technical University of Munich

    Munich, Germany

    2 h-index

    2 publications

    116 citations

  8. Universiti Sains Malaysia

    George Town, Malaysia

    2 h-index

    3 publications

    30 citations

1–8 of 48

Venues

  1. Theory and Practice of Logic Programming

    2 publications · 171 citations

    2

    h-index

  2. Oxford University Research Archive (ORA) (University of Oxford)

    Repository · 2 publications · 68 citations

    2

    h-index

  3. ACM Transactions on Computational Logic

    TOCL · 2 publications · 45 citations

    2

    h-index

  4. Journal of Functional Programming

    2 publications · 101 citations

    2

    h-index

  5. ScholarlyCommons (University of Pennsylvania)

    Repository · 2 publications · 112 citations

    2

    h-index

1–5