函數式邏輯編程

函數式邏輯編程 ， 是在一個單一的編程語言中 ， 組合函數式編程和邏輯編程兩種編程範式 。 這種編程風格已經體現在多種編程語言中 ， 包括Curry 、 Mercury和Oz等 。 麻省理工學院出版社和歐洲編程語言及系統協會在1995年至2008年出版了致力於集成函數式和邏輯編程的科學期刊 。