ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems