"Executing Temporal Logic Programs" - читать интересную книгу автора (Ben C. Moszkowski)