Bibliography¶

Alexiev93: 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/
Block89: 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)
Bratko90: Prolog Programming for Artificial Intelligence Bratko, I. Addison Wesley, 2º edition, 1990
Champaux92: A comparative Study of Object-Oriented Analysis Methods Champaux, D., Faure, P. Journal of Object-Oriented Programming, Vol. 5, N.1, 1992
Clocksin87: Programming in Prolog Clocksin, W.F., Mellish, C.S. Springer-Verlag, New York, 1987
Cointe87: Metaclasses are First Class: the ObjVlisp Model Cointe, P. Proceedings OOPLSLA 87(10):156-167, ACM
Cordes91: The Literate Programming Paradigm Cordes, D., Brown, M. IEEE Computer, June 1991:52-61
Covington94: ISO Prolog: A Summary of the Draft Proposed Standard Covington, M. A. URL: ftp://ai.uga.edu/pub/prolog.standard/
Cox86: Object-Oriented Programming: An Evolutionary Approach Cox, Brad J. Addison-Wesley Publishing Company, Don Mills, Ontario
Davison89: Polka: A Parlog Object oriented language Davison, A. Ph.D. Thesis, Imperial College, London, 1989
Davison92: 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
Davison93: 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
Delzanno97: 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/
Dony90: 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
Fromherz93: OL(P): Object Layer for Prolog Fromherz, M. URL: ftp://parcftp.xerox.com/ftp/pub/ol/
Fukunaga86: An Experience with a Prolog-based Object-Oriented Language Fukunaga, K., Hirose, S. Proceedings OOPLSLA 86, 21(11):224-231, ACM
Goldberg83: 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
ISO95: ISO/IEC DIS 13211-1 - Programming Language Prolog Part 1: General Core Joint Technical Committee ISO/IEC JTC 1 URL: https://www.iso.org/standard/21413.html
Knuth84: Literate Programming Knuth, D. E. Computer Journal, May 84, 27(2):97-111
Lieberman86: Using Prototypical Objects to Implement Shared Behaviour in Object Oriented Systems Lieberman, H. Proceedings OOPLSLA 86:189-214, ACM
Maes87: Concepts and Experiments in Computational Reflection Maes, P. Proceedings OOPLSLA 87, ACM
McCabe92: Logic and Objects McCabe, F. G. Prentice Hall Series in Computer Science
Moon86: Object-Oriented Programming in Flavors Moon, D. Proceedings OOPLSLA 86:1-8, ACM
Moss94: Prolog++ The Power of Object-Oriented and Logic Programming Moss, C. Addison-Wesley International Series in Logic Programming, 1994
Moura94: 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, Lisboa
Moura99: 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
Moura00: Logtalk 2.6 Documentation Moura, P. Technical Report DMI 2000/1 University of Beira Interior, Portugal
Razek92: Combining Objects and Relations Razek, G. Comunications of the ACM, 27(12):66-70
Rumbaugh87: Relations as Semantic Constructs in an Object-Oriented Language Rumbaugh, J. Proceedings OOPLSLA 87:466-481, ACM
Rumbaugh88: Controlling Propagation of Operations using Attributes on Relations Rumbaugh, J. Proceedings OOPLSLA 88:285-296, ACM
Schachte95: 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
SICStus95: 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
Stroustrup86: The C++ Programming Language Stroustrup, B. Addison-Wesley Series in Computer Science
Taenzer89: Problems in Object-Oriented Software Reuse Taenzer, D., Ganti, M., Podar, S. Proceedings of ECOOP 89 British Computer Society Workshop Series, Cambridge University Press
Tanzer95: Remarks on Object-Oriented Modeling of Associations Tanzer, C. Journal of Object-Oriented Programming, February 1995, SIGS Publications
Tanenbaum87: Operating Systems - Design and Implementation Tanenbaum, A. Prentice-Hall Software Series, 1987
Welsch89: 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