逻辑学

基于 Prolog 的 SATB 四部和声生成器

最近在研究 SATB 四部和声,然后感觉如果完全按照和声学教材里的内容,尤其是 18 世纪的和声学概念,几乎就是给了一大堆规则,然后写的是有把人当成一个栈机 (stack machine) 不停搜索不要违背这些规则。既然如此,为什么我们不能设计一个搜索程序,直接将四部和声的配法规约出来呢?