RE: Understanding TML: Prolog -> Datalog -> Tau — Steemit