http://www.learnprolognow.org/lpnpage.php?pageid=online

My feeling is that prolog as a language hasn't aged as well as it could have, so learning it now is mainly as a mental exercise. Something like Mercury shows more of the potential of logic programming, seating it properly alongside functional programming as it should be.

https://mercurylang.org/