https://github.com/rami-sabbagh/prolog-akari

A solution finder for the puzzle game known as Light-Up/Akari written in Prolog using SWI-Prolog
https://github.com/rami-sabbagh/prolog-akari

akari backtracking prolog swi-prolog swiprolog

Last synced: 2 months ago
JSON representation

A solution finder for the puzzle game known as Light-Up/Akari written in Prolog using SWI-Prolog

• Host: GitHub
• URL: https://github.com/rami-sabbagh/prolog-akari
• Owner: Rami-Sabbagh
• Created: 2022-07-24T19:01:53.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2022-07-24T19:04:06.000Z (almost 4 years ago)
• Last Synced: 2025-01-20T15:34:14.864Z (over 1 year ago)
• Topics: akari, backtracking, prolog, swi-prolog, swiprolog
• Language: Prolog
• Homepage:
• Size: 506 KB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          

# Light-Up / Akari Puzzle Solver

A solution finder for the puzzle game known as [Light-Up/Akari][akari] written in [Prolog] using [SWI-Prolog].

## Screenshots

### Load a puzzle

![loading a puzzle with prolog](./misc/screenshots/load_puzzle.png)

### Solve a puzzle

![solving a puzzle with prolog](./misc/screenshots/solve_puzzle.png)

### Searching for solution with backtrack

![backtrack-animation](./misc/screenshots/solver-demo.gif)

### All tests passed

![all unit tests passed](./misc/screenshots/tests_passed.png)

## Features

- Made with **T**est **D**riven **D**evelopment.

- Uses backtracking **only** when no action can be taken deterministically.

- Written in a modular fashion.

- Can be run in an headless mode.

- Pretty colored output for CLI usage.

- Uses a test suit of ~2,760 puzzles (of sizes 8x8 and 20x20).

- Works with non-squared puzzles.

- Supports 0,1,2,3 and 4 numbered walls.

## Benchmarks

- Solves (all?) 8x8 puzzles under 3 seconds.

- Can solve many 20x20 levels under 3 seconds.

- Some hard 20x20 levels can take up to 10 minutes to be solved.

- The whole test suit of 2,760 puzzles takes ~20 minutes to run with no failures.

[akari]: https://en.wikipedia.org/wiki/Light_Up_(puzzle)

[Prolog]: https://en.wikipedia.org/wiki/Prolog

[SWI-Prolog]: https://www.swi-prolog.org/

## Contributors

- [Rami Sabbagh](http://rami-sabbagh.github.io/) ([rami.sab07@gmail.com](mailto:rami.sab07@gmail.com)).

- Maias Alakramy.