A FARM Paper on Generating Music Using Logic Programming

The following paper has been accepted at the 14th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM 2026)

Ahmet Yigit Erdem, Ari Prakash, Carlo Angiuli, Rose Bohrer, James McCann, Chris Martens, and Youyou Cong. “CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation”