# Greetings and Probabilistic Logic with Prolog

**URL:** <https://swi-prolog.discourse.group/t/greetings-and-probabilistic-logic-with-prolog/6942>\
**Category:** General\
**Created:** [November 3, 2023, 11:25am UTC](https://swi-prolog.discourse.group/t/greetings-and-probabilistic-logic-with-prolog/6942 "2023-11-03T11:25:30Z")\
**Posts on this page:** 6\
**Page:** 1

<div class="post-metadata">

**Author:** ![tbudzen](https://avatars.discourse-cdn.com/v4/letter/t/f14d63/32.png) [@tbudzen](https://swi-prolog.discourse.group/u/tbudzen)\
**Post date:** [November 3, 2023, 11:25am UTC](https://swi-prolog.discourse.group/t/greetings-and-probabilistic-logic-with-prolog/6942/1 "2023-11-03T11:25:30Z")

</div>

Hi all,

My name is Thomas and I’m 43 y.o. AI software developer from Poland, member of ALP and with strong background with Prolog (3 custom compilers written at youth time).

My questions are:

1. What is current research in case of probablistic logic? (I would be grateful for articles, from the basic level upto research)

2. What about implementation issues of prob. logic in Prolog. I would very much like to see it in real.

Best,  
Thomas

---

<div class="post-metadata">

**Author:** ![kuniaki.mukai](https://avatars.discourse-cdn.com/v4/letter/k/c67d28/32.png) [@kuniaki.mukai](https://swi-prolog.discourse.group/u/kuniaki.mukai)\
**Post date:** [November 4, 2023, 10:28am UTC](https://swi-prolog.discourse.group/t/greetings-and-probabilistic-logic-with-prolog/6942/2 "2023-11-04T10:28:38Z")

</div>

> [@tbudzen](#):
>
> My questions are:
> 
> 1. What is current research in case of probablistic logic? (I would be grateful for articles, from the basic level upto research)
> 2. What about implementation issues of prob. logic in Prolog. I would very much like to see it in real.

If you make a search on “Taisuke Sato on Probabilistic Prolog”, probably you will see many hits, for example,

[`https://link.springer.com/chapter/10.1007/978-3-540-78652-8_5`]

Taisuke Sato is one of founders on probabilistic prolog,  
and developed a system named PRISM. He was an old friend of mine around Fifth Generation Computer System Project in Japan. Unfortunately I have little knowledge on the Prism, which was his work after the project. As PRISM is famous in that field, it might be not new to you.

---

<div class="post-metadata">

**Author:** ![tbudzen](https://avatars.discourse-cdn.com/v4/letter/t/f14d63/32.png) [@tbudzen](https://swi-prolog.discourse.group/u/tbudzen)\
**Post date:** [November 4, 2023, 11:39am UTC](https://swi-prolog.discourse.group/t/greetings-and-probabilistic-logic-with-prolog/6942/4 "2023-11-04T11:39:27Z")

</div>

Thank you very much.

---

<div class="post-metadata">

**Author:** ![jan](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/jan/32/4_2.png) [@jan](https://swi-prolog.discourse.group/u/jan)\
**Post date:** [November 4, 2023, 12:52pm UTC](https://swi-prolog.discourse.group/t/greetings-and-probabilistic-logic-with-prolog/6942/5 "2023-11-04T12:52:28Z")

</div>

> [@tbudzen](#):
>
> What is current research in case of probablistic logic?

One of the things to look at is probable by @friguzzi and his group.

---

<div class="post-metadata">

**Author:** ![CapelliC](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/capellic/32/17_2.png) [@CapelliC](https://swi-prolog.discourse.group/u/CapelliC)\
**Post date:** [November 4, 2023, 5:00pm UTC](https://swi-prolog.discourse.group/t/greetings-and-probabilistic-logic-with-prolog/6942/6 "2023-11-04T17:00:08Z")

</div>

> [@tbudzen](#):
>
> probablistic logic?

In case you are interested in similar topics, like [fuzzy logic](https://en.wikipedia.org/wiki/Fuzzy_logic), an interesting NLP application is [Bousi~Prolog](https://dectau.uclm.es/bousi-prolog/).

---

<div class="post-metadata">

**Author:** ![friguzzi](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/friguzzi/32/7045_2.png) [@friguzzi](https://swi-prolog.discourse.group/u/friguzzi)\
**Post date:** [November 4, 2023, 6:48pm UTC](https://swi-prolog.discourse.group/t/greetings-and-probabilistic-logic-with-prolog/6942/7 "2023-11-04T18:48:31Z")

</div>

Please have a look at [https://cplint.eu/](https://cplint.eu/)

Fabrizio