kcl:基于约束的记录及函数语言的配置管理项目