Bu türde 3 kitap
Logic programming
Maurizio Gabbrielli
Ewing Lusk
Programming with constraints
Kim Marriott