Implementing negation from this book

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 (or there), and try to follow some of the threads that appeared recently on this discussion forum, for instance this one (note that Jason did a lot of work to put to good use the newly provided infrastructure).

HTH