article

Free access

Objects in concurrent logic programming languages

Authors:

Eric Dean Tribble,

Mark S. Miller,

Daniel G. BobrowAuthors Info & Claims

ACM SIGPLAN Notices, Volume 21, Issue 11

Pages 242 - 257

https://doi.org/10.1145/960112.28721

Published: 01 June 1986 Publication History

Abstract

Concurrent Prolog supports object-oriented programming with a clean semantics and additional programming constructs such as incomplete messages, unification, direct broadcasting, and concurrency synchronization [Shapiro 1983a]. While it provides excellent computational support, we claim it does not provide good notation for expressing the abstractions of object-oriented programming. We describe a preprocessor that remedies this problem. The resulting language, Vulcan, is then used as a behicle for exploring new variants of object-oriented programming which become possible in this framework.

References

[1]

Bobrow, D. G. "IfProlog is the Answer, What is the Question?, or What it Takes to Support AI Programming Paradigms" IEEE Transactions on Software Engineering, November 1985

Digital Library

[2]

Bobrow, D.G., Kahn, K., Kiczsles, G., Masinter, L., Stefik, M., and Zdybel, F. CommonLoops: Merging Common Lisp and Object.oriented programming. ACM Conference on Object.Oriented Programming Systems, Languages and Applications, Portland Oregon, September 1986,

Digital Library

[3]

Clark K., Gregory S., "PARLOG: Parallel Programming in Logic", Research report DOC 84/4, Dept of Computing, Imperial College, London, 1984

[4]

Clinger, W." 'Toundations of Actor Semantics", MIT AI-TR-633, May 1981

Digital Library

[5]

Gullichsen E., "BiggerTalk: Object.Oriented Prolog", STP-125-85, MCC-STP, Austin, TX, Nov 1985

[6]

Hewitt C., "Viewing Control Structures as Patterns of Passing Messages", Artificial Intelligence, Volume 8, pp. 323-363, 1977

Digital Library

[7]

HilHs W.D., The Connection Machine, MIT Press, 1985

[8]

Jefferson D., Sowizral H., "Fast Concurrent Simulation using the Time Warp Mechanism, Part 1: Local Control", N-1906-AS Rand Corporation, December 1982

[9]

Kahn, K., "Uniform -- A Language based upon Unification which unifies (much of) Lisp, Prolog, and Act 1", Proceedings of the Seventh International Joint Conference on Artificial Intelligence, PP. 933-939, Vancouver, Canada, 1981

[10]

Kahn, K., "Intermission - Actors in PROLOG" in Logic Programming, eds K.L. Clark and S.-A.Tarnlund, Academi~ Press, 1982

[11]

Kahn, K., Carlsson M., "How to implement Prolog on a LISP Machine", in implementations ofPROLOG, ed J.A. Campbell, EIHs Horwood, 1984

[12]

Kornfeld W., "Equality for Prolog", Proceedings, Seventh International Joint Conference on Artificial Intelligence, (1983), pp. 514-519

[13]

Lieberman H., "Delegation and Inheritance : Two Mechanisms for Sharing Knowledge in Object- Oriented Systems", in Langages Orientes Object, Jan. 1986, pp. 79-89

[14]

Okuno H., Takeuchi I., Osato N., Hibino Y., Watanabe K., "I'AO: A Fast Interpreter-Centered System on Lisp Machine ELIS", Proceedings 1984 Lisp and Functional Programming Conference, 1984

Digital Library

[15]

Shapiro, E. Algorithmic Program Debugging, MIT Press, 1982

Digital Library

[16]

Shapiro, E. and Takeuchi, A. Object Oriented Programming in Concurrent Prolog New Generation Computing, Springer Verlag V. 1, No. 1 1983, pp. 25-48.

[17]

Shapiro, E. "A Subset of Concurrent Prolog and Its Interpreter", ICOT Technical Report, TR .003 (1983)

[18]

Shapiro E., Mierowsky C., "Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog", Proceedings, International Symposium on Logic Programming, Atlantic City, IEEE, pp. 83-91, 1984

[19]

Shapiro E., Safra S., "Multiway Merge with Constant Delay in Concurrent Prolog", New Generation Computing, Vol. 4 No. 2, pp 211-216, OHMSHA, LTD. and Springer-Verlag, 1986

Digital Library

[20]

Silverman W., Hirsch M., "Logix: User Manual for Release 1.1", Weizmann Institute of Science, Dec. 1985.

[21]

Takeuchi A., "How to solve it in Concurrent Prolog", Unpublished note, 1983

[22]

Theriault D. "A Primer for the Act.l Language", MIT AI Working Paper 221, June 1981

[23]

Ueda K., "Guarded Horn Clauses", ICOTTechnical Report, 103, June 1985

[24]

Zanioio C., "Object Oriented Programming in PROLOG", Proceedings, lnternatiomd Symposium on Logic Programming, Atlant/e City, IEEE, pp. 265-270, 1984

Cited By

Eliëns AVink E(2005)Asynchronous rendez-vous in distributed logic programmingSemantics: Foundations and Applications10.1007/3-540-56596-5_34(174-203)Online publication date: 3-Jun-2005
https://doi.org/10.1007/3-540-56596-5_34
Henz MHenz M(1998)Active ObjectsObjects for Concurrent Constraint Programming10.1007/978-1-4615-5477-6_10(139-149)Online publication date: 1998
https://doi.org/10.1007/978-1-4615-5477-6_10
Zedan H(1990)Key references in distributed computer systems 1959–1989Distributed Computer Systems10.1016/B978-0-408-02938-4.50016-4(193-295)Online publication date: 1990
https://doi.org/10.1016/B978-0-408-02938-4.50016-4
Show More Cited By

Index Terms

Recommendations

Objects in concurrent logic programming languages
OOPSLA '86: Conference proceedings on Object-oriented programming systems, languages and applications

Concurrent Prolog supports object-oriented programming with a clean semantics and additional programming constructs such as incomplete messages, unification, direct broadcasting, and concurrency synchronization [Shapiro 1983a]. While it provides ...
The family of concurrent logic programming languages

Concurrent logic languages are high-level programming languages for parallel and distributed systems that offer a wide range of both known and novel concurrent programming techniques. Being logic programming languages, they preserve many advantages of ...
A Lingua Franca for Concurrent Logic Programming

Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog. They balance the requirements of having clean semantics and providing good control facilities rather differently, and their respective merits are ...

Comments

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

26
Total Citations
View Citations
558
Total Downloads

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

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Eliëns AVink E(2005)Asynchronous rendez-vous in distributed logic programmingSemantics: Foundations and Applications10.1007/3-540-56596-5_34(174-203)Online publication date: 3-Jun-2005
https://doi.org/10.1007/3-540-56596-5_34
Henz MHenz M(1998)Active ObjectsObjects for Concurrent Constraint Programming10.1007/978-1-4615-5477-6_10(139-149)Online publication date: 1998
https://doi.org/10.1007/978-1-4615-5477-6_10
Zedan H(1990)Key references in distributed computer systems 1959–1989Distributed Computer Systems10.1016/B978-0-408-02938-4.50016-4(193-295)Online publication date: 1990
https://doi.org/10.1016/B978-0-408-02938-4.50016-4
Chikayama TSato HMiyazaki T(1988)Overview of the Parallel Inference Machine Operating System (PIMOS)Fifth Generation Computer Systems 198810.1007/978-1-4471-3156-4_25(230-251)Online publication date: 1988
https://doi.org/10.1007/978-1-4471-3156-4_25
Briot JYonezawa A(1987)Inheritance and Synchronization in Concurrent OOPProceedings of the European Conference on Object-Oriented Programming10.5555/646147.679044(32-40)Online publication date: 15-Jun-1987
https://dl.acm.org/doi/10.5555/646147.679044
Ciampolini ALamma EMello PStefanelli C(2005)Some experimental results in implementing a logic language with multi-head clauses on a Transputer architectureExtensions of Logic Programming10.1007/3-540-58025-5_50(62-76)Online publication date: 26-May-2005
https://doi.org/10.1007/3-540-58025-5_50
Konagaya ANakazaki RUmemura M(2005)A co-operative programming environment for a back-end type sequential inference machine CHIParallel Algorithms and Architectures10.1007/3-540-18099-0_46(196-205)Online publication date: 3-Jun-2005
https://doi.org/10.1007/3-540-18099-0_46
Clark K(2005)PARLOG: The language and its applicationsPARLE Parallel Architectures and Languages Europe10.1007/3-540-17945-3_2(30-53)Online publication date: 27-May-2005
https://doi.org/10.1007/3-540-17945-3_2
Mello PNatali A(2000)Objects as Communicating Prolog UnitsECOOP’ 87 European Conference on Object-Oriented Programming10.1007/3-540-47891-4_17(181-191)Online publication date: 25-Aug-2000
https://doi.org/10.1007/3-540-47891-4_17
Baldwin JMartin T(1996)Fuzzy classes in object-oriented logic programmingProceedings of IEEE 5th International Fuzzy Systems10.1109/FUZZY.1996.552374(1358-1364)Online publication date: 1996
https://doi.org/10.1109/FUZZY.1996.552374
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