Some thoughts on how to teach prolog - MV Hermenegildo; JF Morales; P Lopez-Garcia (Prolog: The Next, 2023)