Was recently asking the exact same question, and this is the best answer I found regarding some of the limitations of Prolog: https://faculty.nps.edu/ncrowe/bo

Was recently asking the exact same question, and this is the best answer I found regarding some of the limitations of Prolog: https://faculty.nps.edu/ncrowe/book/chap14.html https://faculty.nps.edu/ncrowe/book/chap14.html