{"id":21032210,"url":"https://github.com/rami-sabbagh/prolog-akari","last_synced_at":"2026-04-09T10:50:01.437Z","repository":{"id":77059950,"uuid":"517412419","full_name":"Rami-Sabbagh/prolog-akari","owner":"Rami-Sabbagh","description":"A solution finder for the puzzle game known as Light-Up/Akari written in Prolog using SWI-Prolog","archived":false,"fork":false,"pushed_at":"2022-07-24T19:04:06.000Z","size":518,"stargazers_count":4,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-01-20T15:34:14.864Z","etag":null,"topics":["akari","backtracking","prolog","swi-prolog","swiprolog"],"latest_commit_sha":null,"homepage":"","language":"Prolog","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Rami-Sabbagh.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2022-07-24T19:01:53.000Z","updated_at":"2024-07-22T17:14:48.000Z","dependencies_parsed_at":null,"dependency_job_id":"299b1f03-6410-4651-bf2a-ec4815ebb03f","html_url":"https://github.com/Rami-Sabbagh/prolog-akari","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Rami-Sabbagh%2Fprolog-akari","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Rami-Sabbagh%2Fprolog-akari/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Rami-Sabbagh%2Fprolog-akari/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Rami-Sabbagh%2Fprolog-akari/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Rami-Sabbagh","download_url":"https://codeload.github.com/Rami-Sabbagh/prolog-akari/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243474267,"owners_count":20296701,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["akari","backtracking","prolog","swi-prolog","swiprolog"],"created_at":"2024-11-19T12:41:36.253Z","updated_at":"2025-12-29T10:43:52.513Z","avatar_url":"https://github.com/Rami-Sabbagh.png","language":"Prolog","funding_links":[],"categories":[],"sub_categories":[],"readme":"\n# Light-Up / Akari Puzzle Solver\n\nA solution finder for the puzzle game known as [Light-Up/Akari][akari] written in [Prolog] using [SWI-Prolog].\n\n## Screenshots\n\n### Load a puzzle\n\n![loading a puzzle with prolog](./misc/screenshots/load_puzzle.png)\n\n### Solve a puzzle\n\n![solving a puzzle with prolog](./misc/screenshots/solve_puzzle.png)\n\n### Searching for solution with backtrack\n\n![backtrack-animation](./misc/screenshots/solver-demo.gif)\n\n### All tests passed\n\n![all unit tests passed](./misc/screenshots/tests_passed.png)\n\n## Features\n\n- Made with **T**est **D**riven **D**evelopment.\n- Uses backtracking **only** when no action can be taken deterministically.\n- Written in a modular fashion.\n- Can be run in an headless mode.\n- Pretty colored output for CLI usage.\n- Uses a test suit of ~2,760 puzzles (of sizes 8x8 and 20x20).\n- Works with non-squared puzzles.\n- Supports 0,1,2,3 and 4 numbered walls.\n\n## Benchmarks\n\n- Solves (all?) 8x8 puzzles under 3 seconds.\n- Can solve many 20x20 levels under 3 seconds.\n- Some hard 20x20 levels can take up to 10 minutes to be solved.\n- The whole test suit of 2,760 puzzles takes ~20 minutes to run with no failures.\n\n\n[akari]: https://en.wikipedia.org/wiki/Light_Up_(puzzle)\n[Prolog]: https://en.wikipedia.org/wiki/Prolog\n[SWI-Prolog]: https://www.swi-prolog.org/\n\n## Contributors\n\n- [Rami Sabbagh](http://rami-sabbagh.github.io/) ([rami.sab07@gmail.com](mailto:rami.sab07@gmail.com)).\n- Maias Alakramy.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frami-sabbagh%2Fprolog-akari","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Frami-sabbagh%2Fprolog-akari","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frami-sabbagh%2Fprolog-akari/lists"}