FP和LP的关系

coq art 通篇都是functional programming的味道。
但是仔细读来，unification和resolution之类的概念，又同时具有很强的logic programming的意思。
那么有什么文章能够说清楚两者的关系？？