| ?- go(a,32). [staff(f,8),staff(b,4),staff(e,4),staff(d,16),staff(g,16),staff(d,16),staff(f,16)] [staff(g,8),staff(c,4),staff(f,4),staff(e,16),staff(a,16),staff(e,16),staff(g,16)] [staff(c,8),staff(f,4),staff(b,4),staff(a,16),staff(d,16),staff(a,16),staff(c,16)] [staff(b,8),staff(e,4),staff(a,4),staff(g,16),staff(c,16),staff(g,16),staff(b,16)] [staff(c,8),staff(f,4),staff(b,4),staff(a,16),staff(d,16),staff(a,16),staff(c,16)] [staff(g,8),staff(c,4),staff(f,4),staff(e,16),staff(a,16),staff(e,16),staff(g,16)] [staff(b,8),staff(e,4),staff(a,4),staff(g,16),staff(c,16),staff(g,16),staff(b,16)] [staff(g,8),staff(c,4),staff(f,4),staff(e,16),staff(a,16),staff(e,16),staff(g,16)] [staff(b,8),staff(e,4),staff(a,4),staff(g,16),staff(c,16),staff(g,16),staff(b,16)] [staff(c,8),staff(f,4),staff(b,4),staff(a,16),staff(d,16),staff(a,16),staff(c,16)] [staff(d,8),staff(g,4),staff(c,4),staff(b,16),staff(e,16),staff(b,16),staff(d,16)] [staff(g,8),staff(c,4),staff(f,4),staff(e,16),staff(a,16),staff(e,16),staff(g,16)] [staff(c,8),staff(f,4),staff(b,4),staff(a,16),staff(d,16),staff(a,16),staff(c,16)] [staff(b,8),staff(e,4),staff(a,4),staff(g,16),staff(c,16),staff(g,16),staff(b,16)] [staff(c,8),staff(f,4),staff(b,4),staff(a,16),staff(d,16),staff(a,16),staff(c,16)] [staff(c,8),staff(f,4),staff(b,4),staff(a,16),staff(d,16),staff(a,16),staff(c,16)] [staff(c,8),staff(f,4),staff(b,4),staff(a,16),staff(d,16),staff(a,16),staff(c,16)] [staff(c,8),staff(f,4),staff(b,4),staff(a,16),staff(d,16),staff(a,16),staff(c,16)] [staff(g,8),staff(c,4),staff(f,4),staff(e,16),staff(a,16),staff(e,16),staff(g,16)] [staff(c,8),staff(f,4),staff(b,4),staff(a,16),staff(d,16),staff(a,16),staff(c,16)] [staff(f,8),staff(b,4),staff(e,4),staff(d,16),staff(g,16),staff(d,16),staff(f,16)] [staff(b,8),staff(e,4),staff(a,4),staff(g,16),staff(c,16),staff(g,16),staff(b,16)] [staff(c,8),staff(f,4),staff(b,4),staff(a,16),staff(d,16),staff(a,16),staff(c,16)] [staff(a,8),staff(d,4),staff(g,4),staff(f,16),staff(b,16),staff(f,16),staff(a,16)] [staff(c,8),staff(f,4),staff(b,4),staff(a,16),staff(d,16),staff(a,16),staff(c,16)] [staff(d,8),staff(g,4),staff(c,4),staff(b,16),staff(e,16),staff(b,16),staff(d,16)] [staff(b,8),staff(e,4),staff(a,4),staff(g,16),staff(c,16),staff(g,16),staff(b,16)] [staff(d,8),staff(g,4),staff(c,4),staff(b,16),staff(e,16),staff(b,16),staff(d,16)] [staff(d,8),staff(g,4),staff(c,4),staff(b,16),staff(e,16),staff(b,16),staff(d,16)] [staff(b,8),staff(e,4),staff(a,4),staff(g,16),staff(c,16),staff(g,16),staff(b,16)] [staff(c,8),staff(f,4),staff(b,4),staff(a,16),staff(d,16),staff(a,16),staff(c,16)] [staff(f,8),staff(b,4),staff(e,4),staff(d,16),staff(g,16),staff(d,16),staff(f,16)] done Progression is: [chord(a,minor),chord(b,diminished),chord(e,minor),chord(d,minor),chord(e,minor), chord(b,diminished),chord(d,minor),chord(b,diminished),chord(d,minor),chord(e,minor), chord(f,major),chord(b,diminished),chord(e,minor),chord(d,minor),chord(e,minor), chord(e,minor),chord(e,minor),chord(e,minor),chord(b,diminished),chord(e,minor), chord(a,minor),chord(d,minor),chord(e,minor),chord(c,major),chord(e,minor),chord(f,major), chord(d,minor),chord(f,major),chord(f,major),chord(d,minor),chord(e,minor),chord(a,minor)] true ?