Question: What Arabic book is Ibn Tufail noted for writing?
Sentence: 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.
Answer in sentence: yes