3 books in this genre
Logic programming
Maurizio Gabbrielli
Ewing Lusk
Programming with constraints
Kim Marriott