Zoom meeting to chat about Prolog in science

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 :slight_smile: Let me know.

Kind regards, JCR


Sure, would be glad to

1 Like

Great idea. I’ll try to make it but, if not, I’m sure this provides good food for discussion:


Cool! I’ll get in touch with you so that we can plan something.

IMO, the question about using Prolog in non-scientific contexts could be more interesting :sweat_smile:

1 Like

Here the answer @fnogatz :upside_down_face:

:- 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}.
?- interesting([T1, T2], X1).
T1 = scientificProlog,
T2 = nonScientificProlog,
X1 = 1.0 ;

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.

:slight_smile: not sure where the bug is… but the answer should be 42

Happy to join :slight_smile:

@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)

I agree. Different approaches in different scientific disciplines :slight_smile:

Agree! The correct output should be 42 and nothing else :laughing:

Cool! I’ll PM you :slight_smile: