Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog. Issue 5 (September 2021)

• Record Type: Journal Article
• Authors: JULIÁN-IRANZO, PASCUAL; SÁENZ-PÉREZ, FERNANDO
• Is Part Of: Theory and practice of logic programming. Volume 21:Issue 5(2021)
• Page Start: 680
• Page End: 697
• Publication Date: 2021-09
• Subjects: Fuzzy logic programming -- fuzzy Prolog -- Bousi∼Prolog -- hypothetical reasoning -- system implementation; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068421000405
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: 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 programmes from Bousi ∼ Prolog programmes.