Alphametics - Prolog | SlaveCode