TY - JOUR AU - Julián-Iranzo, Pascual AU - Sáenz Pérez, Fernando PY - 2021 DO - 10.1017/S1471068421000405 UR - https://hdl.handle.net/20.500.14352/114024 T2 - Theory and Practice of Logic Programming AB - This paper explores the integration of hypothetical reasoning into an efficient implementation of the fuzzy logic language Bousi_Prolog. To this end, we first analyse what would be expected from a logic inference system, equipped with what is called... LA - eng M2 - 680 PB - Cambridge University Press KW - Fuzzy Logic Programming KW - Fuzzy Prolog KW - Bousi-Prolog KW - Hypothetical Reasoning KW - System Implementation TI - Planning for an Efficient Implementation of Hypothetical Bousi-Prolog TY - journal article VL - 21 ER -