3 libri in questo genere
Logic programming
Maurizio Gabbrielli
Ewing Lusk
Programming with constraints
Kim Marriott