HiLog as a Platform for Database Languages.

@inproceedings{DBLP:conf/dbpl/ChenKW89,
  author    = {Weidong Chen and
               Michael Kifer and
               David Scott Warren},
  editor    = {Richard Hull and
               Ronald Morrison and
               David W. Stemple},
  title     = {HiLog as a Platform for Database Languages},
  booktitle = {Proceedings of the Second International Workshop on Database
               Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden
               Beach, Oregon},
  publisher = {Morgan Kaufmann},
  year      = {1989},
  isbn      = {1-55860-072-8},
  pages     = {315-329},
  ee        = {db/conf/dbpl/ChenKW89.html},
  crossref  = {DBLP:conf/dbpl/89},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-5 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. DBPL 1987: 347-374

[2]

Harvey Abramson: Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming. ICLP/SLP 1988: 233-248

[3]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148

[4]

Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862(1982)

[5]

Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37

[6]

Weidong Chen, Michael Kifer, David Scott Warren: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114

[7]

...

[8]

Weidong Chen: A Theory of Modules Based on Second-Order Logic. SLP 1987: 24-33

[9]

Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378

[10]

...

[11]

...

[12]

...

[13]

Warren D. Goldfarb: The Undecidability of the Second-Order Unification Problem. Theor. Comput. Sci. 13: 225-230(1981)

[14]

...

[15]

...

[16]

...

[17]

Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146

[18]

Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393

[19]

Ravi Krishnamurthy, Shamim A. Naqvi: Towards a Real Horn Clause Language. VLDB 1988: 252-263

[20]

Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20

[21]

...

[22]

Gabriel M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984: 86-96

[23]

Jean-Louis Lassez, Michael J. Maher, Kim Marriott: Unification Revisited. Foundations of Deductive Databases and Logic Programming. 1988: 587-625

[24]

Vladimir Lifschitz: On the Declarative Semantics of Logic Programs with Negation. Foundations of Deductive Databases and Logic Programming. 1988: 177-192

[25]

...

[26]

Anthony S. Maida: Knowing Intensional Individuals, and Reasoning About Knowing Intensional Individuals. IJCAI 1983: 382-384

[27]

...

[28]

Alberto Martelli, Ugo Montanari: An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2): 258-282(1982)

[29]

Amihai Motro: BAROQUE: A Browser for Relational Databases. ACM Trans. Inf. Syst. 4(2): 164-181(1986)

[30]

Dale Miller, Gopalan Nadathur: Higher-Order Logic Programming. ICLP 1986: 448-462

[31]

...

[32]

David Maier, David Scott Warren: Computing with Logic: Logic Programming with Prolog. Benjamin/Cummings 1988, ISBN 0-8053-6681-4

[33]

...

[34]

Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216

[35]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976)

[36]

...

[37]

...