3 ms·

I'd love to see that code. Sounds awesome.

• wgetch 7y 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 7y ago
    Thank you!
  • pcorey 7y ago
    This 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.