FuzzyDES or how DES Met Bousi-Prolog

This article describes the implementation of the fuzzy deductive database system FuzzyDES, where concepts underlying the fuzzy logic programming system Bousi~Prolog are adapted and improved to be transferred to the DES deductive database system. We take advantage of the DES tabled-based implementation to propose new methods for rule compiling and t-closure computing, developing a terminating query answering system with graded rules. A description of the system, an example, and a link to a publicly-available, comprehensive system are provided.