函數式邏輯編程

函數式邏輯編程，是在一個單一的編程語言中，組合函數式編程和邏輯編程兩種編程範式^[1]。這種編程風格已經體現在多種編程語言中，包括Curry、Mercury和Oz等^[2][1]。

麻省理工學院出版社和歐洲編程語言及系統協會在1995年至2008年出版了致力於集成函數式和邏輯編程的科學期刊^[3]。