Prolog program that solves battleship puzzles, written as a university assignment.