Contents > Bibliography

# Bibliography

[Alexiev 93]
  Mutable Object State for Object-Oriented Logic Programming: A Survey
  Alexiev, V.
  Technical Report TR 93-15, Department of Computing Science, University of Alberta, Canada

[Belli et al. 92]
  Object-oriented programming in Prolog: rationale and a case study
  Belli, F., Jack, O., Naish, L.
  Technical Report 92/2, Department of Electrical and Electronics Engineering, University of Paderborn, Germany
  URL: http://www.cs.mu.oz.au/~lee/papers/oolp/

[Block 89]
  An Extended Frame Language
  Block, F. P., Chan, N. C.
  Proceedings OOPLSLA 89(10):151-157, ACM

[Bobrow et al. 88]
  Common Lisp Object System Specification
  Bobrow, D. G., Michiel, L. G., Gabriel, R. P., Keene, S. E., Kiczales, G., Moon, D. A.
  ACM SIGPLAN Notices(23)

[Bratko 90]
  Prolog Programming for Artificial Intelligence
  Bratko, I.
  Addison Wesley, 2º edition, 1990

[Champaux 92]
  A comparative Study of Object-Oriented Analysis Methods
  Champaux, D., Faure, P.
  Journal of Object-Oriented Programming, Vol. 5, N.1, 1992

[Clocksin 87]
  Programming in Prolog
  Clocksin, W.F., Mellish, C.S.
  Springer-Verlag, New York, 1987

[Cointe 87]
  Metaclasses are First Class: the ObjVlisp Model
  Cointe, P.
  Proceedings OOPLSLA 87(10):156-167, ACM

[Cordes 91]
  The Literate Programming Paradigm
  Cordes, D., Brown, M.
  IEEE Computer, June 1991:52-61

[Covington 94]
  ISO Prolog: A Summary of the Draft Proposed Standard
  Covington, M. A.
  URL: ftp://ai.uga.edu/pub/prolog.standard/

[Cox 86]
  Object-Oriented Programming: An Evolutionary Approach
  Cox, Brad J.
  Addison-Wesley Publishing Company, Don Mills, Ontario

[Davison 89]
  Polka: A Parlog Object oriented language
  Davison, A.
  Ph.D. Thesis, Imperial College, London, 1989

[Davison 92]
  A survey of logic programming-based object oriented languages
  Davison, A.
  Tech Report 92/3, Dept. of Computer Science, University of Melbourne, Australia
  URL: http://www.cs.mu.oz.au/tr_db/mu_92_03.ps.gz

[Davison 93]
  The deductive and object oriented features of BeBOP
  Davison, A.
  Tech Report 93/6, Dept. of Computer Science, University of Melbourne, Australia
  URL:http://www.cs.mu.oz.au/tr_db/mu_93_06.ps.gz

[Delzanno 97]
  Logic and Object-Oriented Programming in Linear Logic
  Delzanno, G.
  Ph.D. Thesis, University of Pisa, Italy
  URL:http://www.mpi-sb.mpg.de/~delzanno/

[Dony 90]
  Exception Handling and Object-Oriented Programming: Towards a Synthesis
  Dony, C.
  Proceedings OOPLSLA 90:322-330, ACM

[Fornarino et al. 89]
  An Original Object-Oriented Approach for Relation Management
  Fornarino, M., Pinna, A.-M.,Trousse, B.
  Proceedings of the 4th Portuguese Conference on Artificial Intelligence
  Lecture Notes in Artificial Intelligence, Springer-Verlag (390):13-26

[Fromherz 93]
  OL(P): Object Layer for Prolog
  Fromherz, M.
  URL: ftp://parcftp.xerox.com/ftp/pub/ol/

[Fukunaga 86]
  An Experience with a Prolog-based Object-Oriented Language
  Fukunaga, K., Hirose, S.
  Proceedings OOPLSLA 86, 21(11):224-231, ACM

[Goldberg 83]
  Smalltalk-80 The language and its implementation
  Goldberg, A., Robson, D.
  Addison-Wesley Series in Computer Science

[Joy et al. 00]
  The Java Language Specification, Second Edition
  Joy, B., Steele, G., Gosling, J., Bracha, G.
  Addison-Wesley, 2000

[ISO 95]
  ISO/IEC DIS 13211-1 - Programming Language Prolog Part 1: General Core
  Joint Technical Committee ISO/IEC JTC 1
  URL: http://www.iso.ch/cate/d21413.html

[Knuth 84]
  Literate Programming
  Knuth, D. E.
  Computer Journal, May 84, 27(2):97-111

[Lieberman 86]
  Using Prototypical Objects to Implement Shared Behaviour in Object Oriented Systems
  Lieberman, H.
  Proceedings OOPLSLA 86:189-214, ACM

[Maes 87]
  Concepts and Experiments in Computational Reflection
  Maes, P.
  Proceedings OOPLSLA 87, ACM

[McCabe 92]
  Logic and Objects
  McCabe, F. G.
  Prentice Hall Series in Computer Science

[Moon 86]
  Object-Oriented Programming in Flavors
  Moon, D.
  Proceedings OOPLSLA 86:1-8, ACM

[Moss 94]
  Prolog++ The Power of Object-Oriented and Logic Programming
  Moss, C.
  Addison-Wesley International Series in Logic Programming, 1994

[Moura 94]
  Logtalk: Programação Orientada para Objectos em Prolog
  Moura, P., Costa, E.
  2ª Conferência e Exposição Portuguesa de Tecnologia Orientada por Objectos
  3i Consultores, Liboa

[Moura 99]
  Porting Prolog: Notes on porting a Prolog program to 22 Prolog compilers or the relevance of the ISO Prolog standard
  Moura, P.
  ALP Newsletter, Vol. 12/2, May 1999

[Moura 00]
  Logtalk 2.6 Documentation
  Moura, P.
  Technical Report DMI 2000/1
  University of Beira Interior, Portugal

[Razek 92]
  Combining Objects and Relations
  Razek, G.
  Comunications of the ACM, 27(12):66-70

[Rumbaugh 87]
  Relations as Semantic Constructs in an Object-Oriented Language
  Rumbaugh, J.
  Proceedings OOPLSLA 87:466-481, ACM

[Rumbaugh 88]
  Controlling Propagation of Operations using Attributes on Relations
  Rumbaugh, J.
  Proceedings OOPLSLA 88:285-296, ACM

[Schachte 95]
  Efficient Object-Oriented Programming in Prolog
  Schachte, P., Saab, G.
  Logic Programming: Formal Methods and Pratical Applications
  Studies in Computer Science and Artificial Intelligence, 11
  Elsevier Science B.V. North-Holland, Amsterdam, 1995

[SICStus 95]
  SICStus Prolog Manual
  SICStus
  URL: http://www.sics.se/ps/sicstus.html

[Shan et al. 93]
  Is Multiple Inheritance Essential to OOP? (Panel)
  Shan, Y., Cargill, T., Cox, B., Cook, W., Loomis, M., Snyder, A.
  Proceedings OOPLSLA 93:360-363

[Stefik et al. 86]
  Integrating Acess-Oriented Programming into a Multiparadigm Environment
  Stefik, M. J., Bobrow, D. G. , Kahn, K. M.
  IEEE Software, January 1986:10-18

[Stroustrup 86]
  The C++ Programming Language
  Stroustrup, B.
  Addison-Wesley Series in Computer Science

[Taenzer 89]
  Problems in Object-Oriented Software Reuse
  Taenzer, D., Ganti, M., Podar, S.
  Proceedings of ECOOP 89
  British Computer Society Workshop Series, Cambridge University Press

[Tanzer 95]
  Remarks on Object-Oriented Modeling of Associations
  Tanzer, C.
  Journal of Object-Oriented Programming, February 1995, SIGS Publications

[Tanenbaum 87]
  Operating Systems - Design and Implementation
  Tanenbaum, A.
  Prentice-Hall Software Series, 1987

[Welsch 89]
  Reasoning Objects with Dynamic Knowledge Bases
  Welsch, C., Barth, G.
  Proceedings of the 4th Portuguese Conference on Artificial Intelligence(390):257-268
  Lecture Notes in Artificial Intelligence, Springer-Verlag, 1989

More references can be found in the Object-Oriented Logic Programming Resources web page.