article

Free access

An experience with a Prolog-based object-oriented language

Authors:

Koichi Fukunaga,

Shin-ichi HiroseAuthors Info & Claims

ACM SIGPLAN Notices, Volume 21, Issue 11

Pages 224 - 231

https://doi.org/10.1145/960112.28719

Published: 01 June 1986 Publication History

Abstract

This paper presents an experience with a programming language SPOOL which is based on the combination of object-oriented programming and logic programming. This language inherits the capability of knowledge base organization from object-oriented programming and its expressive power from logic programming.

The experience of the application of SPOOL to the program annotation system showed that this combination was quite useful to formalize domain knowledge into declarative data types and make them reusable in different contexts. It also showed the need for further study such as better linguistic support to exploit the full power of this combination.

References

[1]

Bobrow, D.G. and Stefik, S.: The LOOPS Manual, Xerox PARC, 1983.

[2]

Chikayama, T.: ESP Reference Manual, ICOT Tech. Rept. TR-044, 1984.

[3]

Dahl, O.J., Myhrhang, B. and Nygaard, K.: Simula67 Common Base Language, Norwegian Computing Center, S-22, 1970.

Digital Library

[4]

Fikes, R. and Kehler, T.: The Role of Framebased Representation in Reasoning, CACM Vol.28, 9, pp.904-920, 1985.

Digital Library

[5]

Fukunaga, K.: PROMPTER: A Knowledge Based Support Tool for Code Understanding, Proc. of 8th International Conf. on Software Engineer/ng, pp.358-363, 1985.

Digital Library

[6]

Fukunaga, K., Hirose, S. and van Dam, E.: SPOOL User's Guide, 1985.

[7]

Genesereth, M.R. and Ginsberg, M.L.: Logic Programming, CACM Vol.28.9, pp.933-941, 1985.

Digital Library

[8]

Goldberg, A. and Robson, D.: Smalitalk-80: The Language and its Implementation, Addison- Wesley, 1983.

Digital Library

[9]

Kahn, K.M.: Intermission -- Actors in Prolog, UPMAIL Tech. Rept. No.l, 1981.

[10]

Kowaiski, R.: Logic Programming, Information Processing 83 (Mason ed.), pp.133-145, 1983.

[11]

Nakashima, H.: Knowledge Representation in Prolog/KR, Proc. of 1984 International Symposium on Logic Programming, pp.126-130, 1984.

[12]

Reference Guide to Symbolics-Lisp, Symbolics Inc., 1985.

[13]

Stefik, M. and Bobrow, D.G.: Object-Oriented Programming: Themes and Variations, AI Magazine, Vol,6, 4, pp.40-62, 1986.

Digital Library

[14]

Tokoro, M. and Ishikawa, Y.: An object oriented approach to knowledge systems, Proc. of the International Conf. on FGCS, 1984.

[15]

Yokoi, S.: Interactive Systems Kit: INK, Proc. of 32nd Annual Convention of IPSJ, pp.457-458, 1986.

Cited By

Kabbaj AFrasson CKaltenbach MDjamen J(2005)A conceptual and contextual object-oriented logic programming: The PROLOG++ languageConceptual Structures: Current Practices10.1007/3-540-58328-9_17(251-274)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-58328-9_17
Welsch CBarth G(2005)Reasoning objects with dynamic knowledge basesEPIA 8910.1007/3-540-51665-4_91(257-268)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-51665-4_91
Loia VQuaggetto M(1993)Extending CLOS towards logic programmingACM SIGPLAN OOPS Messenger10.1145/140953.1409584:1(46-51)Online publication date: 1-Jan-1993
https://dl.acm.org/doi/10.1145/140953.140958
Show More Cited By

Index Terms

An experience with a Prolog-based object-oriented language
1. Computing methodologies
  1. Symbolic and algebraic manipulation
    1. Symbolic and algebraic algorithms
      1. Algebraic algorithms
2. Software and its engineering
  1. Software notations and tools
    1. Context specific languages

Recommendations

An experience with a Prolog-based object-oriented language
OOPSLA '86: Conference proceedings on Object-oriented programming systems, languages and applications

This paper presents an experience with a programming language SPOOL which is based on the combination of object-oriented programming and logic programming. This language inherits the capability of knowledge base organization from object-oriented ...
What Is Object-Oriented Programming?

The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...
Constraint-Based Object-Oriented Programming

Constraint programming (CP) is a young but rapidly developing technology that supports the modeling and solution of a wide range of planning, scheduling, search, and optimization problems. The integration of CP concepts into languages from other ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Copyright © 1986 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1986

Published in SIGPLAN Volume 21, Issue 11

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

31
Total Citations
View Citations
533
Total Downloads

Downloads (Last 12 months)90
Downloads (Last 6 weeks)12

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kabbaj AFrasson CKaltenbach MDjamen J(2005)A conceptual and contextual object-oriented logic programming: The PROLOG++ languageConceptual Structures: Current Practices10.1007/3-540-58328-9_17(251-274)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-58328-9_17
Welsch CBarth G(2005)Reasoning objects with dynamic knowledge basesEPIA 8910.1007/3-540-51665-4_91(257-268)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-51665-4_91
Loia VQuaggetto M(1993)Extending CLOS towards logic programmingACM SIGPLAN OOPS Messenger10.1145/140953.1409584:1(46-51)Online publication date: 1-Jan-1993
https://dl.acm.org/doi/10.1145/140953.140958
Ryu KMaeng SCho J(1993)Concurrency and inheritance in actor-based object-oriented languagesJournal of Systems and Software10.1016/0164-1212(93)90048-320:1(53-67)Online publication date: 1-Jan-1993
https://dl.acm.org/doi/10.1016/0164-1212%2893%2990048-3
Jin ZHu S(1993)SCKE: Combining logic- with object-oriented paradigmJournal of Computer Science and Technology10.1007/BF029465848:1(38-48)Online publication date: Jan-1993
https://doi.org/10.1007/BF02946584
Dichev C(1992)LOGIC PROGRAMMING WITH WORLDS 11This work is supported by IBM under a Newman ScholarshipArtificial Intelligence V10.1016/B978-0-444-89752-7.50011-0(57-66)Online publication date: 1992
https://doi.org/10.1016/B978-0-444-89752-7.50011-0
Uustalu T(1992)Combining object-oriented and logic paradigms: A modal logic programming approachECOOP ’92 European Conference on Object-Oriented Programming10.1007/BFb0053032(98-113)Online publication date: 1992
https://doi.org/10.1007/BFb0053032
Placer J(1991)Multiparadigm researchACM SIGPLAN Notices10.1145/122167.12216826:3(9-17)Online publication date: 2-Jan-1991
https://dl.acm.org/doi/10.1145/122167.122168
Dalal MGangopadhyay D(1990)OOLP: A Translation Approach to Object-Oriented Logic Programming11This work was done when the first author was visiting IBM. Correspondence about this paper should be sent to the second author.Deductive and Object-Oriented Databases10.1016/B978-0-444-88433-6.50039-3(593-606)Online publication date: 1990
https://doi.org/10.1016/B978-0-444-88433-6.50039-3
Schnupp P(1987)Wissensbasierte Softwareentwicklung für den AnwendungsalltagWissensbasierte Systeme10.1007/978-3-642-88719-2_22(260-272)Online publication date: 1987
https://doi.org/10.1007/978-3-642-88719-2_22
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents