Matching Brackets - Prolog | SlaveCode