Magic Templates: A Spellbinding Approach to Logic Programs (1988)

Cached

Download Links

by Raghu Ramakrishnan
Venue:Journal of Logic Programming
Citations:117 - 13 self

Documents Related by Co-Citation

1858 Foundation of Logic Programming – J W Lloyd - 1987
298 Magic sets and other strange ways to implement logic programs – F Bancilhon, D Maier, Y Sagiv, J Ullman - 1985
244 On the Power of Magic – Catriel Beeri, Raghu Ramakrishnan - 1987
42 On the power of Alexander templates – H Seki - 1989
147 A language for data and knowledge bases – S Naqvi, S Tsur - 1989
219 OLD resolution with tabulation – H Tamaki, T Sato - 1986
58 Glue-Nail: A Deductive Database System – Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross - 1991
137 Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model (Extended Abstract) – Teodor C. Przymusinski - 1989
615 Towards a theory of declarative knowledge – Krzysztof Apt, Howard Blair, Adrian Walker - 1988
129 Constructive negation based on the completed database – D Chan - 1988
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
256 On the declarative semantics of deductive databases and logic programs – T C Przymusinski - 1988
292 An Introduction to Prolog III – A Colmerauer - 1990
49 Pushing Constraint Selections – Divesh Srivastava, Raghu Ramakrishnan - 1992
222 Unfounded sets and well-founded semantics for general logic programs – A Van Gelder, K Ross, J S Schlipf - 1991
55 Query evaluation in recursive databases: bottom-up and top-down reconciled – Francois Bry - 1990
22 A query evaluation method for stratified programs under the extended CWA – H Seki, H Itoh - 1988
21 Completeness of a top-down query evaluation procedure for stratified databases – D Kemp, R Topor - 1988
54 A Procedural Semantics for Well Founded Negation in Logic Programs – Kenneth Ross - 1989