Sorted HiLog: Sorts in Higher-Order Logic Data Languages.

@inproceedings{DBLP:conf/icdt/ChenK95,
  author    = {Weidong Chen and
               Michael Kifer},
  editor    = {Georg Gottlob and
               Moshe Y. Vardi},
  title     = {Sorted HiLog: Sorts in Higher-Order Logic Data Languages},
  booktitle = {Database Theory - ICDT'95, 5th International Conference, Prague,
               Czech Republic, January 11-13, 1995, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {893},
  year      = {1995},
  isbn      = {3-540-58907-4},
  pages     = {252-265},
  ee        = {http://dx.doi.org/10.1007/3-540-58907-4_20},
  crossref  = {DBLP:conf/icdt/95},
  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-2 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]

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

[3]

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

[4]

...

[5]

...

[6]

Weidong Chen, Michael Kifer, David Scott Warren: HILOG: A Foundation for Higher-Order Logic Programming. J. Log. Program. 15(3): 187-230(1993)

[7]

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

[8]

...

[9]

Anthony G. Cohn: A More Expressive Formulation of Many Sorted Logic. J. Autom. Reasoning 3(2): 113-200(1987)

[10]

...

[11]

...

[12]

...

[13]

Michael Hanus: Polymorphic High-Order Programming in Prolog. ICLP 1989: 382-397

[14]

Michael Hanus: Parametric Order-Sorted Types in Logic Programming. TAPSOFT, Vol.2 1991: 181-200

[15]

...

[16]

Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995)

[17]

Michael Kifer, James Wu: A First-Order Theory of Types and Polymorphism in Logic Programming. LICS 1991: 310-321

[18]

Inderpal Singh Mumick, Kenneth A. Ross: An Architecture for Declarative Object-Oriented Databases. Workshop on Deductive Databases, JICSLP 1992: 21-30

[19]

Alan Mycroft, Richard A. O'Keefe: A Polymorphic Type System for Prolog. Artif. Intell. 23(3): 295-307(1984)

[20]

Gopalan Nadathur, Dale Miller: Higher-Order Horn Clauses. J. ACM 37(4): 777-814(1990)

[21]

...

[22]

Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross: Glue-Nail: A Deductive Database System. SIGMOD Conference 1991: 308-317

[23]

Kenneth A. Ross: Relations with Relation Names as Arguments: Algebra and Calculus. PODS 1992: 346-353

[24]

Kenneth A. Ross: On Negation in HiLog. J. Log. Program. 18(1): 27-53(1994)

[25]

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453

[26]

...

[27]

Gert Smolka: Logic Programming with Polymorphically Order-Sorted Types. ALP 1988: 53-70

[28]

...

[29]

...

[30]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents

[31]

Christoph Walther: A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution. Artif. Intell. 26(2): 217-224(1985)

[32]

Jiyang Xu, David Scott Warren: A Type Inference System for Prolog. ICLP/SLP 1988: 604-619

[33]

Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro: Polymorphically Typed Logic Programs. ICLP 1991: 379-393