Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language

作者：

Highlights：

• The fuzzy logic programming language Bousi∼Prolog is described.

• Proximity relations, weak unification and graded rules allow for flexible queries.

• The implementation of the operational semantics is described.

• Novel efficiency techniques are applied at compile-time.

• A performance comparison with other systems shows its relevance.

摘要

•The fuzzy logic programming language Bousi∼Prolog is described.•Proximity relations, weak unification and graded rules allow for flexible queries.•The implementation of the operational semantics is described.•Novel efficiency techniques are applied at compile-time.•A performance comparison with other systems shows its relevance.

论文关键词：Fuzzy logic programming,Fuzzy prolog,Bousi∼Prolog,Weak unification,Weak SLD resolution,Proximity relations

论文评审过程：Received 10 February 2021, Revised 21 June 2022, Accepted 15 September 2022, Available online 22 September 2022, Version of Record 3 October 2022.

论文官网地址：https://doi.org/10.1016/j.eswa.2022.118858