Executing temporal logic programs - Moszkowski, Ben C. (Cambridge Univ. Press, 1987)