https://github.com/eggsyntax/productsquare
Logical programming solution (w/ core.logic & its finite domain extension) to a magic-triangle-ish puzzle
https://github.com/eggsyntax/productsquare
Last synced: 10 months ago
JSON representation
Logical programming solution (w/ core.logic & its finite domain extension) to a magic-triangle-ish puzzle
- Host: GitHub
- URL: https://github.com/eggsyntax/productsquare
- Owner: eggsyntax
- License: epl-1.0
- Created: 2021-11-02T03:21:20.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2022-08-02T21:18:42.000Z (over 3 years ago)
- Last Synced: 2025-03-24T05:46:42.555Z (11 months ago)
- Language: Clojure
- Size: 475 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Awesome Lists containing this project
README
# productsquare
A professor at an Asheville college asked on a local slack for suggestions on different approaches for solving this problem in code. I'd been looking for an excuse to play with logic programming in Clojure, so here it is in core.logic. It’s extremely quick & dirty (lack of time to spend on it & unfamiliarity with core.logic), with the following compromises:
* I inelegantly repeat certain things over and over, eg declaring separately for each logic variable that it’s in the range from 1 - 1296 `((fd/in a1 (fd/interval 1 1296)))`.
* Similarly, I just declare the relationship between triplets one by one (eg `(= (* a3 a3) (* a6 a7))`) rather than capturing the structure of the pyramid,
* I omit the non-integer root element entirely because the finite domain extension of core.logic is built to deal with integers — and of course it’s trivial to calculate the root once you’ve got the rest.
My solution is [here](https://github.com/eggsyntax/productsquare/blob/master/src/eggsyntax/productsquare.clj). If I’d had more time I could have probably made it much more concise and elegant. Hopefully it still gives a general sense of how logic programming lets you just describe the problem and ask for the solution(s) you want.
## Installation
Download from https://github.com/eggsyntax/productsquare and run
```shell
clj -X eggsyntax.productsquare/-main
```
or start a REPL with
```shell
clj --eval "(require 'eggsyntax.productsquare)" --eval "(in-ns 'eggsyntax.productsquare)" --repl
```
## Usage
`clojure -M -m eggsyntax.productsquare`