Foundation of soft sets was laid by Molodtsov [14] in 1999 in order to introduce a mathematical tool for modeling vagueness and uncertainty arising in computer sciences, natural sciences, social sciences, medical and many other fields. This is one of mathematical concepts like fuzzy sets [21], generalized fuzzy sets [6] and rough sets [16] given in order to overcome the difficulties in dealing ...

We present a concrete proposal for enhancing Prolog and Prolog based Constraint Logic Programming languages with a new language construct, the logical loop. This is a shorthand notation for the most commonly used recursive control structure: the iteration or tail recursion. We argue that this enhancement fits well with the existing language concepts, enhances productivity and maintainability, a...