HiLog

HiLog: A foundation for higher-order logic programming. We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does traditional predicate logic. HiLog has a higher-order syntax and allows arbitrary terms to appear in places where predicates, functions, and atomic formulas occur in predicate calculus. But its semantics is first-order and admits a sound and complete proof procedure. Applications of HiLog are discussed, including DCG grammars, higher-order and modular logic programming, and deductive databases.


References in zbMATH (referenced in 51 articles )

Showing results 1 to 20 of 51.
Sorted by year (citations)

1 2 3 next

  1. Costantini, Stefania; Formisano, Andrea: Adding metalogic features to knowledge representation languages (2021)
  2. Lenzerini, Maurizio; Lepore, Lorenzo; Poggi, Antonella: Metamodeling and metaquerying in \textttOWL2 QL (2021)
  3. Bry, François: In praise of impredicativity: a contribution to the formalization of meta-programming (2020)
  4. Prokosch, Thomas: A low-level index for distributed logic programming (2020)
  5. Charalambidis, Angelos; Nomikos, Christos; Rondogiannis, Panos: The expressive power of higher-order Datalog (2019)
  6. van der Hallen, Matthias; Paramonov, Sergey; Janssens, Gerda; Denecker, Marc: Knowledge representation analysis of graph mining (2019)
  7. Lipton, James; Nieva, Susana: Kripke semantics for higher-order type theory applied to constraint logic programming languages (2018)
  8. Rondogiannis, Panos; Symeonidou, Ioanna: Extensional semantics for higher-order logic programs with negation (2018)
  9. Charalambidis, Angelos; Rondogiannis, Panos; Symeonidou, Ioanna: Equivalence of two fixed-point semantics for definitional higher-order logic programs (2017)
  10. Rondogiannis, Panos; Symeonidou, Ioanna: The intricacies of three-valued extensional semantics for higher-order logic programs (2017)
  11. Dasseville, Ingmar; van der Hallen, Matthias; Bogaerts, Bart; Janssens, Gerda; Denecker, Marc: A compositional typed higher-order logic with definitions (2016)
  12. Rondogiannis, Panos; Symeonidou, Ioanna: Extensional semantics for higher-order logic programs with negation (2016)
  13. Analyti, Anastasia; Viegas Damásio, Carlos; Antoniou, Grigoris: Extended RDF: computability and complexity issues (2015)
  14. Benedikt, Michael; Puppis, Gabriele; Vu, Huy: The complexity of higher-order queries (2015)
  15. Charalambidis, Angelos; Rondogiannis, Panos; Symeonidou, Ioanna: Equivalence of two fixed-point semantics for definitional higher-order logic programs (2015)
  16. Dasseville, Ingmar; Van der Hallen, Matthias; Janssens, Gerda; Denecker, Marc: Semantics of templates in a compositional framework for building logics (2015)
  17. Liang, Senlin; Kifer, Michael: A practical analysis of non-termination in large logic programs (2013)
  18. Amato, Gianluca; Lipton, James; McGrail, Robert: On the algebraic structure of declarative programming languages (2009)
  19. Eiter, Thomas; Ianni, Giovambattista; Krennwallner, Thomas: Answer set programming: a primer (2009)
  20. Majkić, Zoran: Intensional first-order logic for P2P database systems (2009)

1 2 3 next