logic - 宣言型/ロジック プログラミングに関するリソースはありますか?

Question

こんにちは、宣言型プログラミング言語に関するリソースを持っている人はいますか?新しいほど良いです。