[2] Houri, A. and Shapiro, E., A Sequential Abstract Machine for Flat Concurrent Prolog, Chapter 38 in [6].
[3] Mierowsky, C., Taylor, S., Shapiro, E., Levy, J. and Safra, M., The Design and Implementation of Flat Concurrent Prolog, Weizmann Institute Technical Report CS8509, 1985.
[4] Nakashima, H., Tomura, S. and Ueda, K., What is a Variable in Prolog?, Proc. International Conference on Fifth Generation Computer Systems, pp. 327--332, Tokyo, 1984.
[5] Shapiro, E., A Subset of Concurrent Prolog and Its Interpreter, Chapter 2 in [6].
[6] Shapiro, E. (Editor), Concurrent Prolog: Collected Papers, Vols. 1 and 2, MIT Press, 1987.
[7] Taylor, S., AvRon, E. and Shapiro, E., A Layered Method for Process and Code Mapping, Chapter 22 in [6].
[8] Silverman, W., Hirsch, M., Houri, A. and Shapiro, E. The Logix System User's Manual, Version 2.0.
[9] Silverman, W., Hirsch, M., Houri, A. and Shapiro, E. Supplement to The Logix System User's Manual, Version 2.0.
[10] Kliger, S., Yardeni, E., Kahn, K., and Shapiro, E., The Language FCP(:,?), Proc. International Conference on Fifth Generation Computer Systems, pp. 763--773, ICOT, Tokyo, 1988, and Weizmann Institute Technical Report CS8807, 1989.
[11] Shapiro, E., The Family of Concurrent Logic Programming Languages, ACM Computing Surveys 21:3, September 1989, pp. 271278, and Weizmann Institute Technical Report CS8908, 1989.
This document is licensed under: Gnu General Public License - Version 3