Julián-Iranzo, PascualSáenz Pérez, Fernando2025-01-132025-01-132021JULIÁN-IRANZO P, SÁENZ-PÉREZ F. Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. Theory and Practice of Logic Programming. 2021;21(5):680-697. doi:10.1017/S147106842100040510.1017/S1471068421000405https://hdl.handle.net/20.500.14352/114024This 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 embedded implication, to model solving goals with respect to assumptions. We start with a propositional system and incrementally build more complex systems and implementations to satisfy the requirements imposed by a system like Bousi_Prolog. Finally, we propose an inference system, operational semantics, and the translation function to generate efficient Prolog programs from Bousi_Prolog programs.engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/journal articlehttps://dx.doi.org/10.1017/S1471068421000405open accessFuzzy Logic ProgrammingFuzzy PrologBousi-PrologHypothetical ReasoningSystem ImplementationLenguajes de programación1203.02 Lenguajes Algorítmicos