Title: Time and logic
Subjects: Logic programming, Time