Try Mozart/Oz [1]. For example, a symbolic constraint solver for Minesweeper [2] had been written in it. [1] https://mozart.github.io/ https://mozart.github.io

Try Mozart/Oz [1]. For example, a symbolic constraint solver for Minesweeper [2] had been written in it. [1] https://mozart.github.io/ https://mozart.github.io/ [2] https://www.info.ucl.ac.be/~pvr/minesweeper.pdf https://www.info.ucl.ac.be/~pvr/minesweeper.pdf