A Time-tensed Logical Programming Language