函數式邏輯編程

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

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