Executing Suspended Logic Programs

Fundamenta Informaticae

Volumn 34, Issue 3, 1998, Pages 203-224

  Kowalski, Robert A ^a   Toni, Francesca ^a   Wetzel, Gerhard ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b NONE

Author keywords

Abductive Logic Programming (ALP); Constraint Logic Programming (CLP); Logic Programming (LP); Semantic Query Optimisation (SQO) in Deductive Databases

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; DATABASE SYSTEMS; OPTIMIZATION; THEOREM PROVING;

ABDUCTIVE LOGIC PROGRAMMING; CONSTRAINT LOGIC PROGRAMMING; DEDUCTIVE DATABASE; SEMANTIC QUERY OPTIMIZATION;

LOGIC PROGRAMMING;

EID: 0032093571     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1998-34301     Document Type: Article

References (34)

1. Apt, K. R., Blair, H., Walker, A.: "Towards a theory of declarative knowledge", J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, CA, 1988.
2. Carlsson, M.: Design and Implementation of an OR-Parallel Prolog Engine, SICS Dissertation Series 02, The Royal Institute of Technology, Stockholm, Sweden, 1990.
3. Chakravarthy, U. S., Grant, J. and Minker, J.: "Logic-Based Approach to Semantic Query Optimization", ACM Transactions on Database Systems 15(2), 1990, 162-207.
4. Clark, K. L.: "Negation as failure", Gallaire, H. and Minker, J. (eds.), Logic and Data Bases, Plenum Press, 1978, 292-322.
5. Console, L., Theseider Dupré, D. and Torasso, P.: "On the relationship between abduction and deduction", Journal of Logic and Computation 2(5), Oxford University Press, 1991, 661-690.
6. Denecker, M. and De Schreye, D.: "SLDNFA: an abductive procedure for abductive logic programs", Journal of Logic Programming 34(2), Elsevier, 1997, 111-167.
7. Frühwirth, T.: "Constraint Handling Rules", Podelski, A. (ed.), Constraint Programming: Basic and Trends, LNCS 910, Springer Verlag, 1995, 90-107.
8. Fung, T. H. and Kowalski, R. A.: "The Iff Proof Procedure for Abductive Logic Programs", Journal of Logic Programming 33(2), Elsevier, 1997, 151-165.
9. th ACM Symp. on the Principles of Programming Languages, 1987, 111-119.
10. Jaffar, J. and Maher, M.: "Constraint Logic Programming: A Survey", Journal of Logic Programming 19/20, Elsevier, 1994, 503-581.
11. th Intern. Symp. on Programming Languages Implementation and Logic Programming, Springer Verlag, 1993, 60-74.
12. Kakas, A. C., Kowalski, R. A. and Toni, F.: "Abductive Logic Programming", Journal of Logic and Computation 2(6), Oxford University Press, 1992, 719-770.
13. Kakas, A. C., Kowalski, R. A. and Toni, F.: "The role of abduction in logic programming", Handbook of logic in Artificial Intelligence and Logic Programming 5, Oxford University Press, 1998, 235-324.
14. th Int. Conf. on Logic Programming, MIT Press, 1995, 399-413.
15. Kowalski, R.A.: Logic for problem solving, Elsevier, 1979.
16. Kowalski, R. A.: "A dual form of logic programming", Lecture Notes of the Workshop in Honour of Jack Minker, University of Maryland, 1992.
17. Kowalski, R.A. and Sadri, F.: "Towards a unified agent architecture that combines rationality with reactivity", Proc. International Workshop on Logic in Databases, San Miniato (PI), Italy, LNCS 1154, Springer Verlag, 1996.
18. Kowalski, R.A. and Sergot, M.: "A logic-based calculus of events", New Generation Computing 4, 1986, 67-95.
19. Kowalski, R. A., Toni, F. and Wetzel, G.: "Towards a declarative and efficient glass-box CLP language", Fuchs, N. and Gottlob, G. (eds.), Workshop Logische Programmierung, Zurich, 1994.
20. Le Provost, T. and Wallace, M.: "Generalised Propagation Over the CLP Scheme", ECRC Technical Report 92-01, 1992.
21. Martelli, A. and Montanari, U.: "An efficient unification algorithm", ACM Trans. on Prog. Lang. and Systems 4(2), 1982, 258-282.
22. Naish, L.: "An Introduction to NU-PROLOG", Technical Report TR 82/2, University of Melbourne, 1982.
23. Przymusinski, T.: "On the Semantics of Stratified Databases", J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, CA, 1988.
24. th ACM Symp. on the Principles of Programming Languages, 1990, 232-245.
25. Schulte, C. and Smolka, G.: "Encapsulated Search for Higher-order Concurrent Constraint Programming", Bruynooghe, M. (ed.), Proc. of the Int. Logic Programming Symposium, MIT Press, 1994, 505-520.
26. Shapiro, E.: "The Family of Concurrent Logic Programming Languages", ACM Computing Surveys 21 (3), 1989, 413-510.
27. Toni, F.: "A theorem-proving approach to job-shop scheduling", Technical Report, Department of Computing, Imperial College, London, 1994.
28. Van Hentenryck, P.: Constraint Satisfaction in Logic Programming, MIT Press, 1989.
29. Van Hentenryck, P., Saraswat, V. A. and Deville, Y.: "Design, Implementation, and Evaluation of the Constraint Language cc(FD)", Podelski, A. (ed.): Constraint Programming: Basic and Trends, LNCS 910, Springer Verlag, 1995, 293-316.
30. Wetzel, G.: Abductive and Constraint Logic Programming, Ph.D. Thesis, Imperial College, London, 1997.
31. th Workshop on Logic Programming (WLP'97), München 1997, 58-68.
32. Wetzel, G.: "Using Integrity Constraints as Deletion Rules", Bonner, A. et al. (eds.), DYNAMICS'97 - Proc. of the Workshop on (Trans) Actions and Change in Logic Programming and Deductive Databases, Port Jefferson, NY, 1997, 147-161.
33. Wetzel, G., Kowalski, R. A. and Toni, F.: "PROCALOG - Programming with Constraints and Abducibles in Logic", Maher, M. (ed.), Proc. of the Joint Int. Conf. and Symp. on Logic Programming, MIT Press, 1996, 535.
34. Wetzel, G., Kowalski, R. A. and Toni, F.: "A Theorem-Proving Approach to CLP", Krall, A. and Geske, U. (eds.), Workshop Logische Programmierung, Vienna, 1995 63-72.