Teaching prolog with active logic documents - JF Morales; S Abreu; D Ferreiro; MV Hermenegildo (Prolog: The Next, 2023)