Prolog program that solves battleship puzzles, written as a university assignment.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.


Battleship Puzzle Solver

This program was a university assignment.

The program is not suitable to solve difficult puzzles within reasonable time.
- A completely empty 6x6 puzzle can be solved in just a few seconds
- An 8x8 puzzle with 20 out of the 64 cells filled in will take around 5 seconds.
- An 8x8 puzzle with 15 out of the 64 cells filled in will take around 35 seconds.


These instructions are for linux only, but the program will also work under different operating systems.

Start your prolog interpreter

Load the code
    ?- [''].

You can now also load and run the examples
    ?- [''].
    ?- example2.