Logic Programming with Arrays.

@article{DBLP:journals/tkde/GlasgowJBF91,
  author    = {Janice I. Glasgow and
               Michael A. Jenkins and
               Eli Blevis and
               Michel P. F{\'e}ret},
  title     = {Logic Programming with Arrays},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {3},
  number    = {3},
  year      = {1991},
  pages     = {307-319},
  ee        = {db/journals/tkde/GlasgowJBF91.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

Joint ACM SIGMOD / IEEE Computer Society 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/An3-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/aDVD2 or /dvd

References

[1]

Robert G. Bandes: Constraining-Unification and the Programming Language UNICORN. Logic Programming: Functions, Relations, and Equations 1986: 397-410

[2]

Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: LEAF: A Language which Integrates Logic, Equations and Functions. Logic Programming: Functions, Relations, and Equations 1986: 201-238

[3]

...

[4]

...

[5]

...

[6]

...

[7]

...

[8]

Janice I. Glasgow, Michael A. Jenkins, Carl McCrosky: User Defined Parallel Control Strategies in Nial. SLP 1985: 22-28

[9]

...

[10]

...

[11]

...

[12]

Michael A. Jenkins, Janice I. Glasgow: A Logical Basis for Nested Array Data Structures. Comput. Lang. 14(1): 35-51(1989)

[13]

...

[14]

...

[15]

...

[16]

...

[17]

...

[18]

Alberto Martelli, Ugo Montanari: Optimizing Decision Trees Through Heuristically Guided Search. Commun. ACM 21(12): 1025-1039(1978)

[19]

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

[20]

...

[21]

Mike Paterson, Mark N. Wegman: Linear Unification. STOC 1976: 181-186

[22]

David Poole, Randy Goebel: Gracefully adding negation and disjunction to Prolog. ICLP 1986: 635-641

[23]

Uday S. Reddy: On the Relationship Between Logic and Functional Languages. Logic Programming: Functions, Relations, and Equations 1986: 3-36

[24]

John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965)

[25]

...

[26]

Masahiko Sato, Takafumi Sakurai: QUTE: A Functional Language Based on Unification. FGCS 1984: 157-165

[27]

...

[28]

Jörg H. Siekmann: Universal Unification. CADE 1984: 1-42

[29]

P. A. Subrahmanyam, Jia-Huai You: FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming. Logic Programming: Functions, Relations, and Equations 1986: 157-198

[30]

Zerksis D. Umrigar, Vijay Pitchumani: An Experiment in Programming with Full First-Order Logic. SLP 1985: 40-47