Efficient Reordering of Prolog Programs.

@inproceedings{DBLP:conf/icde/GooleyW88,
  author    = {Markian M. Gooley and
               Benjamin W. Wah},
  title     = {Efficient Reordering of Prolog Programs},
  booktitle = {Proceedings of the Fourth International Conference on Data Engineering,
               February 1-5, 1988, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1988},
  isbn      = {0-8186-0827-7},
  pages     = {110-117},
  ee        = {db/conf/icde/GooleyW88.html},
  crossref  = {DBLP:conf/icde/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1988 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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-6 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

Printed Edition

Journal Version

References

[1]

...

[2]

...

[3]

...

[4]

...

[5]

...

[6]

David Scott Warren, Saumya K. Debray: Detection and Optimization of Functional Computations in Prolog. ICLP 1986: 490-504

[7]

...

[8]

...

[9]

...

[10]

...

[11]

Chris Mellish: Some Global Optimizations for a Prolog Compiler. J. Log. Program. 2(1): 43-66(1985)

[12]

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

[13]

...

[14]

...

[15]

Leon Sterling, Ehud Y. Shapiro: The Art of Prolog - Advanced Programming Techniques. MIT Press 1986, ISBN 0-262-19250-0

[16]

...

[17]

...

[18]

David H. D. Warren: Efficient Processing of Interactive Relational Data Base Queries expressed in Logic. VLDB 1981: 272-281

[19]

David A. Wolfram: Intractable Unifiability Problems and Backtracking. ICLP 1986: 107-121

[20]

...