Review: Y. N. Moschovakis, Logic from computer science, Proceedings of a workshop held November 13-17 1989; , Logics for Negation as Failure