/*****************************************************************************/
/** Dale MILLER, U. Edinburgh and Pennsylvania -- format: plain text        **/
/*****************************************************************************/


			 Short Communication

	   Linear Logic, Logic Programming Design, and Some
		    Object-Oriented Considerations

			     Dale Miller
	      Universities of Edinburgh and Pennsylvania

Logic programming languages can be designed around some of the logical
connectives in linear logic.  I will very briefly describe two such
approaches and their possible relationship to object oriented
programming.  One approach (the subject of a paper written with Joshua
Hodas that will appear in LICS91) shows how linear logic can be used
to refine the use of contexts in lambda Prolog.  The resulting
refinement permits a nature model of object state.  A second approach
shows how reduction in the pi-calculus can be viewed as a kind of
(linear) logic programming mechanism.
