The OPLA system: Designing complex systems in an object-oriented logic programming framework

Computer Journal

Volumn 39, Issue 1, 1996, Pages

  Loia, Vlncenzo ^a   Quaggetto, Michel ^b  

^a UNIVERSITY OF SALERNO   (Italy)

^b SORBONNE UNIVERSITÉ   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); CONSTRAINT THEORY; GRAPHICAL USER INTERFACES; LISP (PROGRAMMING LANGUAGE); LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

COMMON LISP OBJECT SYSTEM; GRAPHICAL CONSTRAINTS; OPLA LANGUAGE;

PROLOG (PROGRAMMING LANGUAGE);

EID: 0029708010     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/39.1.20     Document Type: Article

References (47)

1. Kahn, K. (1982) Intermission of actors in Prolog. In Logic Programming, Clark, K. and Tarlunf, S. (eds). Academic Press, London.
2. Bobrow, D. G. and Stefik, M. (1983) The LOOPS Manual, Xerox PARC, Palo Alto, CA.
3. Zaniolo, C. (1984) Object-oriented programming in Prolog. In Proc. 1984 IEEE Symp. on Logic Programming, pp. 265-270, Atlantic City, NJ.
4. Mizoguchi, F., Ohwada, H. and Katayama, Y. (1984) LOOKS: knowledge representation system for designing expert systems in a logic programming framework. In Proc. Int. Conf. on Fifth Generation Computer Systems 1984, ICOT, Tokyo.
5. Chikayama, T. (1984) Unique features of ESP. In Proc. Int. Conf. on Fifth Generation Computer Systems 1984, pp. 292-298, ICOT, Tokyo.
6. Nakashima, H. (1984) Knowledge representation in Prolog/KR. In Proc. IEEE 1984 Int. Symp. on Logic Programming, Atlantic City, NJ, pp. 126-145.
7. Fikes, R. and Kehlet, T. (1985) The role of frame-based representation in reasoning. Commun. ACM, 28, 904-920.
8. Gallaire, H. (1986) Merging objects and logic programming: relational semantics. In Proc. AAAI'86, pp. 754-758, Philadelphia, PA.
9. Fukunaga, K. and Hirose, S. (1986) An experience with a Prolog based object oriented language. Proceedings of OOPSLA '86, ACM SIGPLAN Notices, 21, pp. 224-231.
10. Beckstein, C., Gorz, G. and Tielemann, M. (1987) FORK: a system for object and rule oriented programming. In Proc. of ECOOP 1987, LNCS 276, pp. 253-264, Springer-Verlag, Berlin.
11. Yoshiyuki, K. (1987) Amalgamating multiple programming paradigms in Prolog. In Proc. IJCAI'87, pp. 76-82, Milano, Italy.
12. Vranes, S. and Stanojevic, M. (1994) Prolog/Rex - a way to extend Prolog for better knowledge representation. IEEE Trans. Knowledge and Data Eng., 6, 22-37.
13. Loia, V. and Quaggetto, M. (1994) The OPLA language: a key issue to bridge the gap between object-oriented and logic programming. In Proc. 9th Int. Conf. on Knowledge Based Software Engineering, pp. 158-164, Monterey, CA.
14. Loia, V. and Quaggetto, M. (1993) High level management of computation history for the design and implementation of a Prolog system. J. Software-Practice and Experience, 23, 119-150.
15. Bobrow, D.G., DeMichiel, L., Gabriel, R.P., Kiczales, G., Moon, D. and Keene, S. (1988) Common Lisp object system specification; X3J13 Document 88-002R. ACM SIGPLAN Notices, 23.
16. Bobrow, D. G. (1990) Object invoked computational reflection in CLOS. Presented at the 1990 OOPSLA/ ECOOP Workshop on Reflection, Ottawa, Canada.
17. Pfenning, G. (ed.) (1992) Types in Logic Programming. MIT Press, San Francisco, CA.
18. Leonardi, L., Mello, P. and Natali, A. (1989) Prototypes in Prolog. J. Object Oriented Program., 3, 20-28.
19. Kiczales, G., des Rivieres, J. and Bobrow, D. G. (1991) The Art of the Metaobject Protocol, MIT Press, MA.
20. Moss, C. (1990) An Introduction to Prolog++. Imperial College Research Report DOC 90/10.
21. Meyer, B. (1988) Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ.
22. Robinson, J. A. (1965) A machine-oriented logic based on the resolution principle. J. ACM, 12, 23-41.
23. Mellish, C.S. (1985) Some global optimizations for a Prolog compiler. J. Logic Program., 2, 43-66.
24. Loia, V., Quaggetto, M. and Testard-Vaillant, F.-X. (1990) A Prolog debugging system is an open system. In Workshop of the IV Int. Conf. Logic Programming, Eilat, Israel. Technical Report ECRC IR-LP-31-25, European Computer-Industry Research Centre.
25. Kimbrough, K. and LaMott, O. (1990) Common Lisp User Interface Environment. Texas Instruments Incorporated, TX.
26. Borning, A. (1981) Thinglab, A Constraint-Oriented Simulation Laboratory, T-R SSL-79-3. Xerox PARC, Palo Alto, CA.
27. Nelson, G. (1985) Juno: a constraint-based graphics system. In Proc. SIGGRAPH'85, San Francisco, CA.
28. Borning, A. (1986) Defining Constraints Graphically, Proc. SIGCHI'86, Boston, MA.
29. Myer, B. A. (1987) Creating dynamic interaction techniques by demonstration. In Proc. SIGCHI+GI'87: Human Factor in Computing Systems, Toronto, Canada, 1985.
30. Myer, B. A. (1988) Creating User Interfaces by Demonstration. Perspectives in Computing, Rheinboldt, W. and Siewiorek, D. (eds). Academic Press, London.
31. Giuse, D. (1990) KR: Constraint-based knowledge representation. Garnet Toolkit Reference Manuals, CMU T-R CS-90-117.
32. Stein, L. A., Lieberman, H. and Ungar, D. A. (1989) A shared view of sharing: the Treaty of Orlando. In Object-Oriented Concepts, Application and Database, Kim, W. and Lochovsky, F. (eds). Addison-Wesley, Reading, MA.
33. Dony, C., Malenfant, J. and Cointe, P. (1992) Prototype-based languages: from a new taxonomy to constructive proposals and their validation. In Proc. OOPSLA '92, Vancouver, Canada, pp. 237-245.
34. Minsky, N. H. and Rozenshtein, D. (1989) Controllable delegation: An exercise in Law-Governed Systems. In Proc. OOPSLA '89, New Orleans, LA, pp. 371-380.
35. Almarode, J. (1989) Rule-based delegation for prototypes. In Proc. OOPSLA '89, pp. 361-370.
36. Loia, V. and Quaggetto, M. (1993) Extending CLOS towards Logic Programming: A Proposal. OOPS Messenger, 4, 46-51.
37. Berztiss, A. (1991) Programming with Generators. Ellis Horwood, New York.
38. Loia, V. and Quaggetto, M. (1993) The OPLA language: a key issueto bridge the gap between object-oriented and logic programming. In Proc. 5th Int. Conf. on Software Engineering and Knowledge Engineering, pp. 62-69, San Francisco, CA.
39. Bruynooghe, M. (1982) The memory management of Prolog implementations. In Logic Programming, Clark, K. L. and Tarnlund, S. A. (eds). pp. 83-98, Academic Press, London.
40. Mellish, C. S. (1982) An alternative to structure-sharing. In Logic Programming, Clark, K. L. and Tarnlund, S. A. (eds). pp. 99-106, Academic Press, London.
41. Muller, H., Rose, J., Kempf, J. and Stansbury, T. (1989) The use of multimethods and method combination in a CLOS based Window interface. In Proc. OOPSLA '89, New Orleans, LA, pp. 239-253.
42. Wilk, M. R. (1991) Equate: an object-oriented constraint solver. In Proc. OOPSLA '91, Phoenix, AZ, pp. 286-298.
43. Welsh, C. and Barth, G. (1989) Reasoning objects with dynamic knowledge base. In Proc. 4th Portuguese Conf. on Artificial Intelligence, Lisbon, Portugal, pp. 257-269.
44. Alexiev, V. (1993) Mutable Object State for Object-Oriented Logic Programming: A Survey, TR 93-15, Department of Computer Science, University of Alberta, CA.
45. Conery, J. S. (1988) Logical objects. In Proc. 5th Int. Conf. Symp. on Logic Programming, Seattle, WA, pp. 420-434.
46. Andreoli, J. M. and Pareschi, R. (1990) LO and behold! Concurrent structured processes. In Proc. ECOOP-OOPSLA '90, Ottawa, Canada, pp. 44-56.
47. Gabriel, R. P. (1988) Some remarks on CLOS. Presented at First CLOS Users and Implementation Workshop, Palo Alto, CA, USA.