https://profilpelajar.com/article/Automated_reasoning