Linear objects: Logical processes with built-in inheritance

Agha, G. and Hewitt, C., “Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming,” inResearch Directions in Object-Oriented Programming (B. Shriver and P. Wegner, eds.), MIT Press, 1987.

Aït-Kaci, H. and Nasr, R., “LOGIN: A Logic Programming Language with Built-in Inheritance,”Journal of Logic Programming, 3, 3, 1986.

Andreoli, J. M., “Proposition pour une Synthèse des Paradigmes de la Programmation Logique et de la Programmation par Objets,”Ph. D. thesis, Université de Paris VI, Paris, France, 1990.

Andreoli, J. M. and Pareschi R., “Logic Programming with Sequent Systems: A Linear Logic Approach,” inProc. of the Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, Tübingen, Germany, Springer-Verlag, 1990.

Andreoli, J. M. and Pareschi, R., “Formulae as Active Representation of Data,” inActes du 9eme Séminaire sur la Programmation en Logique, Trégastel, France, 1990.

Andreoli, J. M. and Pareschi, R., “LO and Behold! Concurrent Structured Processes,” inProc. of OOPSLA/ECOOP’90, Ottawa, Canada, 1990.

Andreoli, J. M. and Pareschi, R, “Communication as Fair Distribution of Knowledge,” inProc. of OOPSLA’91, Phoenix, USA, 1991.

Brogi, A., “And-Parallelism without Shared Variables,” inProc. of the 7th International Conference on Logic Programming, Jerusalem, Israel, 1990.

Chen, W. and Warren, D. S., “C-Logic for Complex Objects,” inProc. of 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Philadelphia, USA, 1989.

Conery, J. S., “Logical Objects,” inProc. of the 5th International Conference on Logic Programming, Seattle, USA, 1988.

Davison, A., “POLKA: A Parlog Object Oriented Language,”Technical Report, DOC, Imperial College, London, UK, 1988.

Gallaire, H., “Merging Objects and Logic Programming: Relational Semantics,” inProc. of AAAI’86, Philadelphia, USA, 1986.

Gallier, J.,Logic for Computer Science, Harper & Row, New York, 1986.

Giordano, L., Martelli, A., and Rossi, G. F., “Local Definitions with Static Scope Rules in Logic Programming,” inProc. of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, 1988.

Girard, J. Y., “Linear Logic,”Theoretical Computer Science, 50, 1987.

Goguen, J. A. and Meseguer, J., “Equality, Types, Modules, and (Why Not?) Generics for Logic Programming,”Journal of Logic Programming, 2, 1984.

Gregory, S.,Parallel Logic Programming in Parlog, Addison-Wesley, 1987.

Hodas, J. S. and Miller, D., “Logic Programming in a Fragment of Intuitionistic Linear Logic,” inProc. of LICS’91, 1991.

Kahn, K., Tribble, E. D., Miller, M. S., and Bobrow, D. G., “VULCAN: Logical Concurrent Objects,” inConcurrent Prolog (E. Shapiro, ed.), MIT Press, 1986.

Loveland, D. W., “Near-Horn Prolog,” inProc. of the 4th International Conference on Logic Programming, Melbourne, Australia, 1987.

McCabe, F. G., “Logic and Objects,”Technical Report, Imperial College, 1990.

Meier, M., Dufresne, P., and de Villeneuve, D. H., “SEPIA,”Technical Report, ECRC, München, Germany, 1988.

Miller, D., “Lexical Scoping as Universal Quantification,” inProc. of the 6th International Conference on Logic Programming, Lisboa, Portugal, 1989.

Miller, D., “A Logical Analysis of Modules in Logic,”Journal of Logic Programming,6,1 & 2, 1989.

Miller, D., Nadathur, G., Pfenning, F., and Scedrov, A., “Uniform Proofs as a Foundation for Logic Programming,”Journal of Pure and Applied Logic, 1989.

Monteiro, L. and Porto, A., “Contextual Logic Programming,” inProc. of the 6th International Logic Programming Conference, Lisboa, Portugal, 1989.

Plaisted, D. A., “Non-Horn Clause Programming without Contrapositives,”Journal of Automated Reasoning, 4, 1988.

Saraswat, V. A., “Concurrent Constraint Programming Languages,”Ph. D. thesis, Carnegie-Mellon University, Pittsburg, USA, 1989.

Shapiro, E., “A Subset of Concurrent Prolog and Its Interpreter,”Technical Report, Institute for New Generation Computer Technology, Tokyo, Japan, 1983.

Shapiro, E. and Takeuchi, A., “Object Oriented Programming in Concurrent Prolog,”New Generation Computing, 1, 1, 1983.

Ueda, K., “Guarded Horn Clauses,”Ph. D. thesis, Dept. of Information Engineering, University of Tokyo, Japan, 1986.

Yoshida, K. and Chikayama, T., “AU'M — A Stream Based Concurrent Object-Oriented Language—,”, inProc. of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, 1988.

Zaniolo, C., “Object Oriented Programming in Prolog,” inProc. of the International Symposium on Logic Programming, Atlantic City, USA, 1984.