In this paper we present a study of the problem of handling constraints made by conjunctions of positive and negative literals based on the predicate symbols =, ∈,∪ and || (i.e., disjointness of two sets) in a (hybrid) universe of finite sets . We also review and compare the main techniques considered to represent finite sets in the context of logic languages. The resulting contraint algorithms are embedded in a Constraint Logic Programming (CLP) language which provides finite sets—along with basic set-theoretic operations—as first-class objects of the language. The language—called CLP( SET )—is an instance of the general CLP framework, and as such it inherits all the general features and theoretical results of this scheme. We provide, through programming examples, a taste of the expressive power offered by programming in CLP( SET ).

No abstract

No abstract

No abstract

Chalinula nematifera (Porifera: Haplosclerida) is an encrusting sponge able to overgrow live corals. It was described from the Western-Central Pacific Ocean and recently has been reported along the Mexican Pacific coast, where it is considered introduced and a potential threat for corals. However, there is a lack of accurate data about the distribution and abundance of Chalinula nematifera. Here we report a first wide assessment of its effect on different coral species and its growth rate. This is a first knowledge baseline for C. nematifera, based on visual and photo surveys, along the eastern coast of the Sulawesi Island (Indonesia).