Deakstadieđáhus: Prolog programming in depth