Bousi similar to Prolog is a fuzzy logic programming language with an operational semantics which is an adaptation of the SLD resolution principle, where classical unification has been replaced by a fuzzy unification algorithm based on fuzzy relations. Hence, it is a programming language well suited for dealing with vagueness and approximate reasoning. In this paper we summarize its design and implementation.