函数式逻辑编程 函数式逻辑编程是在一个单一的编程语言中组合函数式编程和逻辑编程两种编程范式这种编程风格已经体现在多种编程语言中包括CurryMercury和Oz等 麻省理工学院出版社和欧洲编程语言及系统协会在年至年出版了致力于集成函数式和逻辑编程的科学期刊