Yarn now uses tau-Prolog (Discussion)

Sorry - here’s the page