This revised, second edition of the text is part of a three-volume set which use the Log programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence.