Abstract
This paper presents a novel programming language called LOC (Logical Objects with Constraints), which combines logic programming and object-oriented programming paradigms. In LOC, logical objects are viewed as abstractions with state, constraints, behaviors and inheritance. It therefore supports such notions as inheritance, modularity and reusability, which have turned out to be extremely useful for large scale software systems. The operational interpretation defined in the style of natural semantics is simple and clear. The transformation of LOC into Prolog is also explored to indirectly illustrate the descriptive semantics.
- 1. Jeffrey J.P. Tsai, Thomas Weigert and Hung-Chin Jang, "A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis", IEEE trans, on Software Engineering, Vol. 18 No. 12, December, 1992, pp. 1076-1099. Google ScholarDigital Library
- 2. R.B. Terwilliger and P.A. Kirstis, "PK/C++: An Object Oriented, Logic Based, Excutable Specification Language", in Proc. of the 22th Hawaii International Conference on System Science, 1989.Google ScholarCross Ref
- 3. P. Mello, "Inheritance as Combination of Horn Clause Theories", in Inheritance Hierarchies in Knowledge Representation and Programming Languages, John Wiley & Sons, 1991. Google ScholarDigital Library
- 4. Kenneth Kaln et al., "Vulcan: Logical Concurrent Objects", in Research Directions in Object Oriented Programming, MIT Press, 1987, pp. 113-128. Google ScholarDigital Library
- 5. H. Gallaire, "Merging Objects and Logic Programming: Related Semantics", in Proc. of the AAAI' 86, 1986.Google Scholar
- 6. Mccabe F.G., Logic and Objects, Prentice Hall, 1992. Google ScholarDigital Library
- 7. B.M Kim et al., "Combining Many-sorted Logic and Object Oriented Programming", Information & Software Technology, Vol. 35, No. 4, Apr. 1993.Google Scholar
- 8. L. Monteiro and A. Porto, "A Transformational View of Inheritance in Logic Programming", in Logic Programming: Proc. of the 7th international conference, MIT Press, 1990, pp. 481-494. Google ScholarDigital Library
- 9. Herman Iline and Henry Kanoui, "Extending Logic Programming to Object Programming: the system LAP", in Proc. of IJCAI'87, pp. 34-39. Google ScholarDigital Library
- 10. Dianxiang Xu and Guoliang Zheng, "A Hybrid Knowledge Representation Based on Logical Objects", in Proc. of International Conference on Expert Systems for Development, Bankok, 1994, 3.Google Scholar
- 11. Dianxiang Xu and Guoliang Zheng, "Logical Knowledge Objects", in Proc. of JKJCES'94, Tokyo, 1994,3.Google Scholar
- 12. G.D. Plotkin, "A Structural Approach to Operational Semantics", Technical Report FAIMI FN19, Computer Science Department, Arhus University, 1981.Google Scholar
Index Terms
- Logical objects with constraints
Recommendations
Linear objects: Logical processes with built-in inheritance
AbstractWe present a new framework for amalgamating two successful programming paradigms: logic programming and object-oriented programming. From the former, we keep the delarative reading of programs. From the latter, we select two crucial notions: (i) ...
A logical theory of concurrent objects
A new theory of concurrent objects is presented. The theory has the important advantage of being based directly on a logic called rewriting logic in which concurrent object-oriented computation exactly corresponds to logical deduction. This deduction is ...
Comments