A Sequential Abstract Machine for Flat Concurrent Prolog

Avshalom Houri, Ehud Y. Shapiro. A Sequential Abstract Machine for Flat Concurrent Prolog. Journal of Logic and Algebraic Programming, 7(2):85-123, 1989.

Authors

Avshalom Houri

This author has not been identified. Look up 'Avshalom Houri' in Google

Ehud Y. Shapiro

This author has not been identified. Look up 'Ehud Y. Shapiro' in Google