Describir: Distributed constraint logic programming / Ho-Fung Leung.