Tekstiviesti: Prolog programming in depth