Parallel logic programming techniques - Taylor, Stephen (Prentice Hall, 1989)
Includes index.