Some Thoughts on How to Teach Prolog - Hermenegildo MV; Morales JF; Lopez-Garcia P (Lecture Notes In Computer Science, 2023)