I find Krzysztof Apt's book on constraint programming very clear, if maybe a little on the theoretical side if you're looking specifically for "programming languages". The author's page links to reviews.
There are also a few related questions I can recommend:
I find Krzysztof Apt's book on constraint programming very clear, if maybe a little on the theoretical side if you're looking specifically for "programming languages". The author's page links to reviews.
There are also a few related questions I can recommend:
https://stackoverflow.com/questions/1082121/what-are-the-best-introductory-logic-programming-books
https://stackoverflow.com/questions/401635/good-beginners-material-on-prolog