[12] Clark, K., and Gregory, S., PARLOG: A Parallel Logic Programming Language. 
     Research Report DOC 83/5, Department of Computing, Imperial College of Sci-
     ence and Technology, 1984. 

[13] Shapiro, Y., A Subset of Concurrent Prolog and its Interpreter. Tech. Report 
     TR-003, ICOT, 1983. 

[14] The concurrent versus the logic programming issue is an instance of an issue 
     of philosophy of logics i.e., whether or not a problem e.g., a concurrent, modal 
     or temporal problem should have its own logic or should be solved in standard 
     predicate logic as argued by Quine see for example Word and Object, Wiley, 
     1960. 

[15] See the preceding footnote. 

[16] Colmerauer, A., Opening the Prolog III Universe: A new generation of Prolog 
     promises some powerful capabilities, BYTE, August 1987. Jaffar, J., and Lassez 
     J-L, Constraint Logic Programming, In 4th IEEE Symposium on Logic Program-
     ming, 1987. 

[17] Futamura, Y., Partial Evaluation of Computation Process: An Approach to a 
     Compiler-Compiler. Systems, Computers, Controls 2,1971. 


					- 134 -