# Fuzzy logic in prolog **URL:** \ **Category:** Help!\ **Created:** [January 25, 2024, 10:45am UTC](https://swi-prolog.discourse.group/t/fuzzy-logic-in-prolog/7194 "2024-01-25T10:45:08Z")\ **Posts on this page:** 1\ **Showing post:** 4
**Author:** ![ridgeworks](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/ridgeworks/32/886_2.png) [@ridgeworks](https://swi-prolog.discourse.group/u/ridgeworks)\ **Post date:** [January 26, 2024, 5:45pm UTC](https://swi-prolog.discourse.group/t/fuzzy-logic-in-prolog/7194/4 "2024-01-26T17:45:56Z")
> [@MrAlex](#): > > I read it but didn’t find something for my project. I suggest you read it again; skip the theory and start with section 3. The fuzzy logic Prolog library appears to allow you to specify facts with a probability “interval” between 0 and 1 (which could be a single value in the range), and rules with aggregation operators for accumulating the probabilities of the subgoals. It also appears that all software described in the paper is included with Ciao Prolog; sounds to me like it’s worth a try. (Perhaps it’s portable to SWIP with some effort if there’s a reason for doing that.) EDIT: see also [https://www.cl.uni-heidelberg.de/courses/ws08/logik/seminarslides/10\_Knapp.pdf](https://www.cl.uni-heidelberg.de/courses/ws08/logik/seminarslides/10_Knapp.pdf) also a different implementation of fuzzy Prolog: > [@BPL 3.2 Released](https://swi-prolog.discourse.group/t/bpl-3-2-released/519): > > Hello. This is just for informing that the new release of: Bousi~Prolog version 3.2 [https://dectau.uclm.es/bousi-prolog](https://dectau.uclm.es/bousi-prolog) has been launched on April, 6th, 2019, and tested for: SWI-Prolog 7.6.4 running on: Ubuntu 18 LTS, CentOS 7.6-1810, Windows 10, and macOS High Sierra Bousi~Prolog (BPL) is a fuzzy logic programming language that replaces the syntactic unification mechanism of classical SLD-resolution by a fuzzy unification algorithm. This algorithm provides a weak most general unifier… --- _[View the full topic](https://swi-prolog.discourse.group/t/fuzzy-logic-in-prolog/7194)._