Looking for an official extension of Temporal Prolog | Hacker News Reader