I want to know the answer to the following question:
What Arabic book is Ibn Tufail noted for writing?
All the background I'm provided with is that "Ibn Tufail wrote the first Arabic novel Hayy ibn Yaqdhan (Philosophus Autodidactus) as a response to Al-Ghazali's The Incoherence of the Philosophers, and then Ibn al-Nafis also wrote a novel Theologus Autodidactus as a response to Ibn Tufail's Philosophus Autodidactus.". Is that enough to answer the question?
Answer: yes