Past is Prolog