Weidong Chen, Michael Kifer, David S. Warren  Home/Search
Context Related
Links: DBLP | sunysb.edu/pub/TechReports...hilog.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: sunysb.edu (more) Homepages: W.Chen |
Rate this article:      (best)Comment on this article |
Abstract: 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... (Update)
Cited by: More
A Calculus for Data Mapping - Fletcher, Wyss, Robertson, Van Gucht (2005) (Correct)
Logical reconstruction of normative RDF - Jos De Bruijn (Correct)
Extensional Higher-Order Datalog - Kountouriotis, Rondogiannis, Wadge (Correct)
Active bibliography (related documents): More All
0.6: Polymorphic Types in Higher-Order Logic Programming - Chen, Kifer (1993) (Correct)
0.5: A First-Order Theory of Types and Polymorphism in Logic.. - Kifer, Wu (1990) (Correct)
0.5: Functional-Logic Parsers In TOY - Roldán, Fraguas (1998) (Correct)
Similar documents based on text: More All
0.5: Sorted HiLog: Sorts in Higher-Order Logic Data Languages - Chen, Kifer (1994) (Correct)
0.5: Efficient Execution of HiLog in WAM-based Prolog implementations - Sagonas, Warren (1995) (Correct)
0.4: On Negation in HiLog - Ross (1994) (Correct)
Related documents from co-citation: More All
36: Logical Foundations of Object-Oriented and Frame-Based Languages - Kifer, Lausen et al. - 1990
19: Ullman J. D.: Principles of Database and Knowledge-Base Systems, Volumes 1 and 2. Computer Science Press, 1988. This article was processed using the L scaled 913a T E X macro package with LLNCS style
17: XSB as an efficient deductive database engine - Sagonas, Swift et al. - 1994
BibTeX entry: (Update)
Weidong Chen, Michael Kifer, and David S. Warren. HiLog: A Foundation for Higher-Order Logic Programming. Technical report, Department of Computer Science, State University of New York at Stony Brook (SUNY), 1989. Expanded Version of [19, 17]. http://citeseer.ist.psu.edu/chen89hilog.html More
@article{ chen93hilog,
author = "Weidong Chen and Michael Kifer and David Scott Warren",
title = "{HILOG}: A Foundation for Higher-Order Logic Programming",
journal = "Journal of Logic Programming",
volume = "15",
number = "3",
pages = "187-230",
year = "1993",
url = "citeseer.ist.psu.edu/chen89hilog.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988 DBLP
435 Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. - 1988 ACM DBLP
419 A Formulation of the Simple Theory of Types (context) - Church - 1940 DBLP
413 Logical Foundations of Object-Oriented and FrameBased Langua.. - Kifer, Lausen et al. - 1990
395 An Abstract Prolog Instruction Set (context) - Warren - 1983
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
363 Programming in Prolog (context) - Clocksin, Mellish - 1981 ACM
309 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973 ACM
248 The Semantics of Predicate Logic as a Programming Language (context) - Van Emden, Kowalski - 1976 ACM DBLP
166 Unification Revisited (context) - Lassez, Maher et al. - 1988 ACM DBLP
151 Proving Termination with Multiset Orderings (context) - Dershowitz, Manna - 1979 ACM DBLP
149 A Logical Language for Data and Knowledge Bases (context) - Naqvi, Tsur - 1989 ACM
144 Contributions to the Theory of Logic Programming (context) - Apt, Van Emden - 1982 ACM DBLP
135 Definite Clause Grammars for Language Analysis: A Survey of .. (context) - Pereira, Warren - 1980
134 Theory of Generalized Annotated Logic Programming and its Ap.. - Kifer, Subrahmanian - 1992 ACM DBLP
118 Unfounded Sets and Well-Founded Semantics for General Logic .. (context) - Van Gelder, Ross et al. - 1988 ACM DBLP
115 The Alternating Fixpoint of Logic Programs with Negation (context) - Van Gelder - 1989 ACM DBLP
101 Higher-Order Logic Programming - Miller, Nadathur - 1986 ACM DBLP
99 Logic: A Higher-Order Language for Reasoning about Objects (context) - Kifer, Lausen - 1989
97 The Undecidability of the Second-Order Unification Problem (context) - Goldfarb - 1981 DBLP
88 Every Logic Program has a Natural Stratification and an Iter.. - Przymusinski - 1989 ACM DBLP
87 An Efficient Unification Algorithm (context) - Martelli, Montanari - 1982 ACM DBLP
86 Completeness in the Theory of Types (context) - Henkin - 1950
71 A Logic for Reasoning with Inconsistency - Kifer, Lozinskii - 1991 ACM DBLP
71 COL: A Logic-Based Language for Complex Objects (context) - Abiteboul, Grumbach - 1987 ACM DBLP
69 Higher-Order Extensions to Prolog: Are They Needed (context) - Warren - 1982
55 A Procedural Semantics for Well Founded Negation in Logic Pr.. - Ross - 1989 ACM DBLP
52 Logic Programming with Sets - Kuper - 1987 ACM DBLP
52 the Declarative Semantics of Logic Programs with Negation (context) - Lifschitz - 1988
45 A New Approach to Database Logic (context) - Kuper, Vardi - 1984 ACM DBLP
45 A Logic for Objects (context) - Maier - 1986
41 HiLog: A First-Order Semantics of Higher-Order Logic Program.. (context) - Chen, Kifer et al. - 1989
40 Sets and Negations in a Logic Database Language (context) - Beeri, Naqvi et al. - 1987
39 logic for Complex Objects (context) - Chen, Warren - 1989
34 A Technique for Establishing Completeness Results in Theorem.. (context) - Peterson - 1983 DBLP
31 What Is a Model of the Lambda Calculus (context) - Meyer - 1982
31 A Higher-Order Logic as the Basis for Logic Programming - Nadathur - 1987 ACM
24 Towards a Real Horn Clause Language (context) - Krishnamurthy, Naqvi - 1988 ACM DBLP
18 HiLog as a Platform for Database Language (context) - Chen, Kifer et al. - 1989
15 Department of Computer Science (context) - Chen - 1989
15 A Theory of Modules Based on Second-Order Logic (context) - Chen - 1987 DBLP
15 Automata-Driven Indexing of Prolog Clauses (context) - Ramesh, Ramakrishnan - 1990 ACM DBLP
14 private communication (context) - Smith, Hickey - 1990
14 Intensional Concepts in Propositional Semantic Networks (context) - Maida, Shapiro - 1982
9 Computing with Logic (context) - Maier, Warren - 1988
7 the Semantics of Stratified Deductive Databases (context) - Przymusinski - 1988
7 The Proper Treatment of Quantification in English (context) - Montague - 1973
7 On Negation in HiLog - Ross - 1991 DBLP
6 An Extension of LPS to Arbitrary Sets (context) - Kuper - 1987
5 BAROQUE: A Browser for Relational Databases (context) - Motro - 1986 ACM DBLP
4 private communication (context) - Wu - 1989
4 Polymorphic Type Checking for Prolog in HiLog (context) - Fruehwirth - 1989
4 Type Inference by Program Transformation and Partial Evaluat.. (context) - Fruehwirth - 1988 ACM DBLP
2 Metarules and an Approach to Conjunction in Definite Clause .. (context) - Abramson - 1988 DBLP
2 and Reasoning about Knowing Intensional Individuals (context) - Maida - 1983
1 Types and Polymorphism in Higher-Order Logic Programming (context) - Chen, Sorts - 1992
1 Putting HiLog to Work (context) - Fruehwirth, Warren - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.cs.sunysb.edu.html): More
A Summary of XSB Performance - Swift, Warren (1993) (Correct)
XSB: An Overview of its Use and Implementation - Sagonas, Swift, Warren (1993) (Correct)
Polymorphic Types in Higher-Order Logic Programming - Chen, Kifer (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC