Teaching Pure LP with Prolog and a Fair Search Rule - Hermenegildo MV; Morales JF; Lopez-Garcia P (Ceur Workshop Proceedings, 2024)