There's a black stamp on the top of the book, but it's not very noticeable. This is a book that explains the theory and application of mathematics using Prolog. - Title: The World of Mathematics Made with Prolog - Author: Shigeru Iitaka - Publisher: Asakura Publishing - Contents: Contents related to Prolog, sets, topology, and groups - Price: 2300 yen Thank you for viewing.