Chapter 1. On the incorporation of interval-valued fuzzy sets into the Bousi-Prolog system: declarative semantics, implementation...