Flat Concurrent Prolog References

[1] Hirsch, M., Silverman, W. and Shapiro, E., Computation Control and Protection in the Logix System, Chapter 20 in [6].

[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 CS85­09, 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., Av­Ron, 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 CS88­07, 1989.

[11] Shapiro, E., The Family of Concurrent Logic Programming Languages, ACM Computing Surveys 21:3, September 1989, pp. 271­278, and Weizmann Institute Technical Report CS89­08, 1989.



This document is licensed under: Gnu General Public License - Version 3