%0 Journal Article
%A Julián-Iranzo, Pascual
%A Sáenz Pérez, Fernando
%T Planning for an Efficient Implementation of Hypothetical Bousi-Prolog
%D 2021
%U https://hdl.handle.net/20.500.14352/114024
%X 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 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.
%~