Just started getting into logic languages / Answer Set Programming! Don't know much yet but some interesting things I've found: Dusa, which promises an easier

Just started getting into logic languages / Answer Set Programming! Don't know much yet but some interesting things I've found: Dusa, which promises an easier way to merge constraint languages and answer sets https://dusa.rocks/ https://dusa.rocks/ Puzzlescript, which isn't exactly the same paradigm (its declarative but not a logic lang) that is beloved by the sokobon puzzle community. Sokobon itself is three lines of code in this and many other games only need to add one or two more. Its genius. https://www.puzzlescript.net/ https://www.puzzlescript.net/ My goal rn as an art project is to try to combine the two, so every puzzlescript game can be queried for interesting properties in Dusa / Potasscio / Some Logic Language.