Isbn Verifier - Prolog | SlaveCode