Weidong Chen, Michael Kifer  Home/Search
Context Related
Links: DBLP | sunysb.edu/pub/TechReports...sorts.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 From: sunysb.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: HiLog enhances the modeling capabilities of deductive databases and logic programming with higher-order and meta-data constructs, complex objects, and schema browsing. Its distinctive feature, a higher-order syntax with a first-order semantics, allows for efficient implementation with speeds comparable to Prolog. In fact, HiLog implementation in XSB [30, 26] together with tabulated query evaluation offers impressive performance with negligible penalty for higher-order syntax, thereby bringing... (Update)
Context of citations to this paper: More
.... importance of introducing higher order programming to logic programming was recognised in the late 1980s with the introduction of HiLog [10], which has a higher order syntax but uses a rst order semantics, and Prolog [71] which is a logic programming language based upon higher...
Cited by: More
Expressive Type Systems for Logic Programming Languages - Jeffery (2002) (Correct)
Active bibliography (related documents): More All
0.8: Polymorphic Types in Higher-Order Logic Programming - Chen, Kifer (1993) (Correct)
0.5: Logical Foundations of Object-Oriented and Frame-Based Languages - Kifer, Lausen, Wu (1990) (Correct)
0.5: Coral++: Adding Object-Orientation to a Logic.. - Srivastava.. (1993) (Correct)
Similar documents based on text: More All
0.7: Efficient Execution of HiLog in WAM-based Prolog implementations - Sagonas, Warren (1995) (Correct)
0.6: On Negation in HiLog - Ross (1994) (Correct)
0.5: HiLog: A Foundation for Higher-Order Logic Programming - Chen, Kifer, Warren (1989) (Correct)
Related documents from co-citation: More All
2: Polymorphic Type Inference and Abstract Data Types - Lufer, Odersky - 1994
BibTeX entry: (Update)
Weidong Chen and Michael Kifer. Sorted HiLog: Sorts in higher-order logic data languages. In Proceedings of ICDT 1995. http://citeseer.ist.psu.edu/chen94sorted.html More
@inproceedings{ chen95sorted,
author = "Weidong Chen and Michael Kifer",
title = "Sorted HiLog: Sorts in Higher-Order Logic Data Languages",
booktitle = "{ICDT}",
pages = "252-265",
year = "1995",
url = "citeseer.ist.psu.edu/chen94sorted.html" }
Citations (may not include all citations):981 Principles of Database and Knowledge-Base Systems (context) - Ullman - 1988 ACM
419 A formulation of the simple theory of types (context) - Church - 1940 DBLP
413 Logical foundations of object-oriented and frame-based langu.. - Kifer, Lausen et al. - 1993 ACM DBLP
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
170 ACM Transactions on Programming Languages and Systems (context) - Martelli, Montanari et al. - 1982
112 XSB as an efficient deductive database engine - Sagonas, Swift et al. - 1994 ACM DBLP
109 A polymorphic type system for Prolog (context) - Mycroft, O'Keefe - 1984 DBLP
101 HiLog: A foundation for higher-order logic programming - Chen, Kifer et al. - 1993 DBLP
71 COL: A logic-based language for complex objects (context) - Abiteboul, Grumbach - 1987 ACM DBLP
63 Order-sorted equational computation (context) - Smolka, Nutt et al. - 1987
50 Higher-order horn clauses - Nadathur, Miller - 1990 ACM DBLP
48 and generic modules for Logic Programming (context) - Goguen, Meseguer et al. - 1986
41 Glue-Nail: A deductive database system - Phipps, Derr et al. - 1991 DBLP
41 HiLog: A first-order semantics for higher-order logic progra.. (context) - Chen, Kifer et al. - 1989 DBLP
40 Sets and negation in a logic database language (context) - Beeri, Naqvi et al. - 1987
39 A more expressive formulation of many sorted logic (context) - Cohn - 1987 ACM DBLP
39 logic for complex objects (context) - Chen, Warren - 1989
33 A semantics for typed logic programs (context) - Hill, Topor - 1992 DBLP
31 Polymorphically typed logic programs - Yardeni, Fruehwirth et al. - 1991 DBLP
23 A type inference system for Prolog (context) - Xu, Warren - 1988 DBLP
22 Relations with relation names as arguments: Algebra and calc.. (context) - Ross - 1992 DBLP
17 A mechanical solution of Schubert's Steamroller by many-sort.. (context) - Walther - 1985 ACM DBLP
15 Logic programming with polymorphically order-sorted types (context) - Smolka - 1988 ACM DBLP
15 A theory of modules based on second-order logic (context) - Chen - 1987 DBLP
13 Polymorphic higher-order programming in prolog (context) - Hanus - 1989
12 Parametric order-sorted types in logic programming (context) - Hanus - 1991 ACM DBLP
8 Types in higher-order logic programming (context) - Nadathur, Pfenning - 1992
5 Compiling OLDT evaluation: Background and overview (context) - Swift, Warren - 1992
4 Polymorphic type checking for Prolog in HiLog (context) - Fruehwirth - 1989
4 Polymorphic types in higher-order logic programming - Chen, Kifer - 1993
2 Journal of Logic Programming (context) - Ross, in - 1994
2 An architecture for declarative object-oriented databases (context) - Mumick, Ross - 1992 DBLP
1 A compilation scheme for HiLog (context) - Sagonas, Warren - 1994
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.sunysb.edu.html): More
Structured Operational Semantics for Concurrency and Hierarchy - Uselton (1993) (Correct)
Analysis and Transformations of Parallel Programs for.. - Li, Hermannsson, Wittie (Correct)
What is in a Statechart: On the Semantics of Steps - Uselton (1994) (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