4 ms·
I intend to do a proper writeup for this, in the meantime I published a short blog[1] with the program along with some background information. [1] https://blog
by wgetch 6y ago
I intend to do a proper writeup for this, in the meantime I published a short blog[1] with the program along with some background information.
[1] https://blog.phazon.xyz/answer-set-programming/2020/04/22/musical-logic-program.html https://blog.phazon.xyz/answer-set-programming/2020/04/22/mu...
- carapace 6y agoThank you!
- pcorey 6y agoThis is great, thanks for posting! I'll definitely take your advice to heart. I've been noticing that finding different data representations of the problem at hand is a big part of finding the "core relations" that describe the problem. My first attempt at the voicing/4 predicate was attempted with a data structure used in a procedural version of the algorithm, and I just couldn't get it to work in Prolog. The second iteration is what you've seen, and I'm working on a third iteration with a simpler data representation that is simplifying the problem even further.