Hrycej, 1993. A Temporal extension of Prolog 15.. https://doi.org/10.1016/0743-1066(93)90016-a