Learning Logic Programming with Prolog