# Unusual formatting of sCASP output for proved abduced statements

**URL:** <https://swi-prolog.discourse.group/t/unusual-formatting-of-scasp-output-for-proved-abduced-statements/8625>\
**Category:** General\
**Created:** [November 24, 2024, 3:08am UTC](https://swi-prolog.discourse.group/t/unusual-formatting-of-scasp-output-for-proved-abduced-statements/8625 "2024-11-24T03:08:18Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![Gauntlet173](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/gauntlet173/32/3778_2.png) [@Gauntlet173](https://swi-prolog.discourse.group/u/Gauntlet173)\
**Post date:** [November 24, 2024, 3:08am UTC](https://swi-prolog.discourse.group/t/unusual-formatting-of-scasp-output-for-proved-abduced-statements/8625/1 "2024-11-24T03:08:18Z")

</div>

I notice that in s(CASP) when an abduction appears inside the context of a “proved”, it appears differently, specifically, as the string:

“abducible$$threw(bob,\_,testgame)$”

instead of the object

{ functor: ‘abduced’, args […]}

Is that an expected behaviour? It’s a little strange, because the specific thing abduced in that model is not even included in the string.

It’s happening through a pengines connection, but it doesn’t seem like that would be relevant.

Thanks,

Jason

---

<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 24, 2024, 9:13am UTC](https://swi-prolog.discourse.group/t/unusual-formatting-of-scasp-output-for-proved-abduced-statements/8625/2 "2024-11-24T09:13:48Z")

</div>

Can you produce an example we can run? It seems this is using the bundled http demo?

---

<div class="post-metadata">

**Author:** ![Gauntlet173](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/gauntlet173/32/3778_2.png) [@Gauntlet173](https://swi-prolog.discourse.group/u/Gauntlet173)\
**Post date:** [December 4, 2024, 7:24pm UTC](https://swi-prolog.discourse.group/t/unusual-formatting-of-scasp-output-for-proved-abduced-statements/8625/3 "2024-12-04T19:24:23Z")

</div>

I’ll try to generate a sharable version, thanks for your patience. It’s using pengines.