Completed Labb2 in Prolog @ logik13