EAN-13 ✓ Valid check digit Registered in Bücher (ISBN)
Search for Swi Prolog Reference Manual 6.2.2 on Amazon (or for the code 9783848226177)