Resumen:

FuzzyDES: Fuzzifying DES

This paper describes a system implementation of a fuzzy deductive database. Concepts supporting the fuzzy logic programming system BPL are translated into the deductive database system DES. We develop a version of fuzzy Datalog as its query language, where programs and queries are compiled to the DES core Datalog language. Weak unification and weak SLD resolution are adapted to this setting, and extended to allow rules with truth degree annotations. We provide a public implementation in Prolog which is open-source, multiplatform, portable, and in-memory. A database example for a recommender system is used to illustrate some of the features of the system.