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 36 articles )

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

1 2 next

  1. Analyti, Anastasia; Viegas Damásio, Carlos; Antoniou, Grigoris: Extended RDF: computability and complexity issues (2015)
  2. Benedikt, Michael; Puppis, Gabriele; Vu, Huy: The complexity of higher-order queries (2015)
  3. Liang, Senlin; Kifer, Michael: A practical analysis of non-termination in large logic programs (2013)
  4. Amato, Gianluca; Lipton, James; McGrail, Robert: On the algebraic structure of declarative programming languages (2009)
  5. Nguyen, Philip H.P.; Kaneiwa, Ken; Corbett, Dan; Nguyen, Minh-Quang: Meta-relation and ontology closure in conceptual structure theory (2009)
  6. Ricca, Francesco; Gallucci, Lorenzo; Schindlauer, Roman; Dell’Armi, Tina; Grasso, Giovanni; Leone, Nicola: OntoDLV: an ASP-based system for enterprise ontologies (2009)
  7. Wan, Hui; Grosof, Benjamin; Kifer, Michael; Fodor, Paul; Liang, Senlin: Logic programming with defaults and argumentation theories (2009)
  8. de Bruijn, Jos; Heymans, Stijn: On the relationship between description logic-based and $F$-logic-based ontologies (2008)
  9. Motik, Boris: On the properties of metamodeling in OWL (2007)
  10. Ricca, Francesco; Leone, Nicola: Disjunctive logic programming with types and objects: the $\mathrmDLV^+$ system (2007)
  11. Baral, Chitta; Dzifcak, Juraj; Takahashi, Hiro: Macros, macro calls and use of ensembles in modular answer set programming (2006)
  12. Casas, Amadeo; Cabeza, Daniel; Hermenegildo, Manuel V.: A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems (2006)
  13. Fletcher, George H.L.; Wyss, Catharine M.; Robertson, Edward L.; Van Gucht, Dirk: A calculus for data mapping. (2006)
  14. Lu, James J.: A data model for data integration. (2006)
  15. van Emden, Maarten H.: Compositional semantics for the procedural interpretation of logic (2006)
  16. Pientka, Brigitte: Verifying termination and reduction properties about higher-order logic programs (2005)
  17. Bhowmick, Sourav S.; Madria, Sanjay K.; Ng, Wee Keong: Web data management. A warehouse approach. (2004)
  18. Biernacki, Dariusz; Danvy, Olivier: From interpreter to logic engine by defunctionalization (2004)
  19. Cabeza, Daniel; Hermenegildo, Manuel; Lipton, James: Hiord: A type-free higher-order logic programming language with predicate abstraction (2004)
  20. Gupta, Amarnath; Ludäscher, Bertram; Grethe, Jeffrey S.; Martone, Maryann E.: Towards a formalization of disease-specific ontologies for neuroinformatics. (2003)

1 2 next