結果 : logic programming and functional programming