關於聲明性/邏輯編程的資源？

Question

嗨，沒有人有任何資源使用說明性編程語言，越多越新越好。

Answer 1

我發現Krzysztof Apt的book on constraint programming非常清楚，如果你在尋找專門的「編程語言」，理論上可能有點兒。 The author's page鏈接到評論。

也有一些相關的問題，我可以推薦：

https://stackoverflow.com/questions/1082121/what-are-the-best-introductory-logic-programming-books

https://stackoverflow.com/questions/401635/good-beginners-material-on-prolog