Publisher's Synopsis
For advanced courses in fifth generation languages and computer architecture in departments of computer science and computer engineering, this text begins with a review of logic programming and Prolog and moves on to discuss Prolog interpreters and abstract machines in depth and examine potential parallelism in logic programming and the stream parallel language Parlog, concurrent Prolog and GHC.;The text includes a comprehensive introduction to the standard prolog machine (the Warren Abstract Machine), a study of interpreters and compilers, and over 140 references to original source material.