比赛 编码规则 网站 论文 钢琴家 命名法 自动控制 大会 世界 内部过程 编程序 人事管理 Prolog 三个方面 音乐会 操纵器 布达佩斯 参考手册 PROLOG语言 电脑 钢琴键