# Implementing negation from this book

**URL:** <https://swi-prolog.discourse.group/t/implementing-negation-from-this-book/5576>\
**Category:** Resources\
**Tags:** discussion\
**Created:** [July 2, 2022, 10:44pm UTC](https://swi-prolog.discourse.group/t/implementing-negation-from-this-book/5576 "2022-07-02T22:44:07Z")\
**Posts on this page:** 1\
**Showing post:** 2

<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:** [July 3, 2022, 9:45am UTC](https://swi-prolog.discourse.group/t/implementing-negation-from-this-book/5576/2 "2022-07-03T09:45:39Z")

</div>

I’m not in a good position to evaluate the merits of the book, but I think you should analyze the s(CASP) topic before to start to implement anything.

Start [here](https://www.swi-prolog.org/pack/list?p=scasp) (or [there](https://swish.swi-prolog.org/example/scasp.swinb)), and try to follow some of the threads that appeared recently on this discussion forum, for instance [this one](https://swi-prolog.discourse.group/t/s-casp-meets-json/4600) (note that Jason did a lot of work to put to good use the newly provided infrastructure).

HTH

---

_[View the full topic](https://swi-prolog.discourse.group/t/implementing-negation-from-this-book/5576)._