2026-06-29T02:32:10Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/1140262025-03-18T15:37:31Zcom_20.500.14352_14col_20.500.14352_15

00925njm 22002777a 4500 dc Julián-Iranzo, Pascual author Sáenz Pérez, Fernando author 2023 The fuzzy logic programming language Bousi∼Prolog extends Prolog with a weak unification algorithm based on proximity relations and truth degree annotations. The weak unification algorithm makes the search for answers more flexible, while rule annotations make possible knowledge-based applications where the rules may be uncertain. In this paper, after recalling the main concepts supporting this language, we detail its design and implementation. We describe the implementation of its operational semantics, which is based on compiling programs and queries into Prolog, and those important features that makes it more applicable: fuzzy sets, integration with WordNet and efficiency techniques. The result is a high-level open-source implementation of the Bousi∼Prolog system, written on top of SWI-Prolog, and publicly available. We also summarise some experiments measuring its performance compared to other systems. P. Julián-Iranzo and F. Sáenz-Pérez, "Bousi~Prolog: Design and implementation of a proximity-based fuzzy logic programming language", Expert Systems with Applications, Volume 213, Part A, 2023. DOI 10.1016/j.eswa.2022.118858. 10.1016/j.eswa.2022.118858 https://hdl.handle.net/20.500.14352/114026 https://dx.doi.org/10.1016/j.eswa.2022.118858 Bousi-Prolog: Design and Implementation of a Proximity-based Fuzzy Logic Programming Language