# Using Logic Programming for Theory Representation and Scientific Inference

**URL:** <https://swi-prolog.discourse.group/t/using-logic-programming-for-theory-representation-and-scientific-inference/3520>\
**Category:** Announce\
**Created:** [January 25, 2021, 6:09pm UTC](https://swi-prolog.discourse.group/t/using-logic-programming-for-theory-representation-and-scientific-inference/3520 "2021-01-25T18:09:56Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![anniepoo](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/anniepoo/32/12_2.png) [@anniepoo](https://swi-prolog.discourse.group/u/anniepoo)\
**Post date:** [January 25, 2021, 6:09pm UTC](https://swi-prolog.discourse.group/t/using-logic-programming-for-theory-representation-and-scientific-inference/3520/1 "2021-01-25T18:09:56Z")

</div>

By @hakank and @JCR

[https://t.co/ex6l6pUkPC?amp=1](https://t.co/ex6l6pUkPC?amp=1)