Zaslat SMS: Prolog programming in depth