A temporal extension of the deductive database system ProQuel