# Zoom meeting to chat about Prolog in science **URL:** \ **Category:** Discussion\ **Created:** [January 27, 2022, 8:48pm UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946 "2022-01-27T20:48:53Z")\ **Posts on this page:** 12\ **Page:** 1
**Author:** ![JCR](https://avatars.discourse-cdn.com/v4/letter/j/258eb7/32.png) [@JCR](https://swi-prolog.discourse.group/u/JCR)\ **Post date:** [January 27, 2022, 8:48pm UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946/1 "2022-01-27T20:48:53Z")
Hi community, It would be fun to have an informal chat about using Prolog in a scientific context; I’m thinking about knowledge representation and knowledge generation. If anybody is interested I can setup a zoom meeting at a suitable date 🙂 Let me know. Kind regards, JCR ---
**Author:** ![grossdan](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/grossdan/32/23_2.png) [@grossdan](https://swi-prolog.discourse.group/u/grossdan)\ **Post date:** [January 28, 2022, 1:57am UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946/2 "2022-01-28T01:57:29Z")
Sure, would be glad to ---
**Author:** ![burlingtonbertie99](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/burlingtonbertie99/32/3364_2.png) [@burlingtonbertie99](https://swi-prolog.discourse.group/u/burlingtonbertie99)\ **Post date:** [January 28, 2022, 9:38am UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946/3 "2022-01-28T09:38:17Z")
Great idea. I’ll try to make it but, if not, I’m sure this provides good food for discussion: > **[Using logic programming for theory representation and scientific inference](https://www.sciencedirect.com/science/article/pii/S0732118X20302130)** > > The aim of this paper is to show that logic programming is a powerful tool for representing scientific theories and for scientific inference. In a log… ---
**Author:** ![JCR](https://avatars.discourse-cdn.com/v4/letter/j/258eb7/32.png) [@JCR](https://swi-prolog.discourse.group/u/JCR)\ **Post date:** [January 28, 2022, 8:24pm UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946/4 "2022-01-28T20:24:43Z")
Cool! I’ll get in touch with you so that we can plan something. /JCR ---
**Author:** ![fnogatz](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/fnogatz/32/19_2.png) [@fnogatz](https://swi-prolog.discourse.group/u/fnogatz)\ **Post date:** [February 9, 2022, 5:50pm UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946/5 "2022-02-09T17:50:17Z")
IMO, the question about using Prolog in **non** -scientific contexts could be more interesting 😅 ---
**Author:** ![JCR](https://avatars.discourse-cdn.com/v4/letter/j/258eb7/32.png) [@JCR](https://swi-prolog.discourse.group/u/JCR)\ **Post date:** [February 9, 2022, 9:04pm UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946/6 "2022-02-09T21:04:28Z")
Here the answer @fnogatz 🙃 ```prolog :- use_module(library(clpr)). discuss(scientificProlog, 1). discuss(nonScientificProlog, 1). interesting([T1, T2], X1):- discuss(T1, X2), discuss(T2, X3), T1 @> T2, {X1 = X2 + X3 - X2 * X3}. ``` ```prolog ?- interesting([T1, T2], X1). T1 = scientificProlog, T2 = nonScientificProlog, X1 = 1.0 ; false. ``` ---
**Author:** ![Boris](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/boris/32/7486_2.png) [@Boris](https://swi-prolog.discourse.group/u/Boris)\ **Post date:** [February 10, 2022, 7:45am UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946/7 "2022-02-10T07:45:52Z")
I wonder what kind of science you have in mind? In my very limited experience there is a huge divide between Computer Science, the “natural sciences” (experimental science), and then again engineering sciences, in terms of approaches to “doing science”, the expected output, as well as general attitudes of the people involved. ---
**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:** [February 10, 2022, 9:14am UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946/8 "2022-02-10T09:14:22Z")
🙂 not sure where the bug is… but the answer should be 42 ---
**Author:** ![sam.neaves](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/sam.neaves/32/967_2.png) [@sam.neaves](https://swi-prolog.discourse.group/u/sam.neaves)\ **Post date:** [February 10, 2022, 12:55pm UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946/9 "2022-02-10T12:55:22Z")
Happy to join 🙂 ---
**Author:** ![JCR](https://avatars.discourse-cdn.com/v4/letter/j/258eb7/32.png) [@JCR](https://swi-prolog.discourse.group/u/JCR)\ **Post date:** [February 10, 2022, 5:15pm UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946/10 "2022-02-10T17:15:14Z")
@Boris I had natural science and social science in mind mainly. In my own project i am using Prolog in psychology, but i have had some really interesting experiences applying it to other (related) disciplines (e.g. Darwinian theory) > [@Boris](#): > > there is a huge divide between Computer Science, the “natural sciences” (experimental science), and then again engineering sciences I agree. Different approaches in different scientific disciplines 🙂 ---
**Author:** ![JCR](https://avatars.discourse-cdn.com/v4/letter/j/258eb7/32.png) [@JCR](https://swi-prolog.discourse.group/u/JCR)\ **Post date:** [February 10, 2022, 5:16pm UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946/11 "2022-02-10T17:16:08Z")
Agree! The correct output should be 42 and nothing else 😆 ---
**Author:** ![JCR](https://avatars.discourse-cdn.com/v4/letter/j/258eb7/32.png) [@JCR](https://swi-prolog.discourse.group/u/JCR)\ **Post date:** [February 10, 2022, 5:16pm UTC](https://swi-prolog.discourse.group/t/zoom-meeting-to-chat-about-prolog-in-science/4946/12 "2022-02-10T17:16:45Z")
Cool! I’ll PM you 🙂