Your material should teach how the Prolog works, but I think it’s not enough to appreciate Prolog. It’s just a programming language with backtracking, partial data structures, sequential evaluation and without need for control flow structures after all.
To understand why that combination of things make sense and is useful, you got to understand Curry-Howard correspondence to the point that you can apply it in programming. For people who have been working with computers for a long time, with advanced languages, it really doesn’t click easily why Prolog is the way it is.
Beautiful! I’ve done Prolog and (Jess/CLIPS) in the late 90s and IIRC I ran into exactly this issue as well. Also, made me search for available online systems now and stumbled upon this wonderful piece: https://swish.swi-prolog.org