Battleship in prolog