Logic Programming and Databases (Surveys in Computer Science)