Answer Set Programming with External Source Access
Principles of Constraint Programming