論理プログラミングや制約プログラミングなどの宣言的なプログラミングに関して質問です。

調べた限りこれらの手法はアルゴリズムの具体的な実装を処理系に任せ、プログラムの仕様のみを記述するものだと思います。宣言型と呼ばれるものがこういう発想で作られているという認識なのですが、合っているでしょうか？
ですが仕様のみを記述するということがどれだけ簡単なのか、実効速度や書き方の面で得手不得手がどのくらいあるのか分かりません。
具体例を知りたいのですが、教えていただけないでしょうか。