01 Two Bases: Updated indentation of Prolog solution