3 livres dans ce genre
Logic programming
Maurizio Gabbrielli
Ewing Lusk
Programming with constraints
Kim Marriott