Pātuhitia tēnei: Prolog programming in depth