Implementing negation from this book

I’ve seen surprisingly few mentions of this book around, which has a few somewhat interesting ideas.

A few pages:

As advertised, it implements logical negation. It seems to be a kind of constructive negation done by a non predicate. Overall I think everything there can be done in swipl, some predicates might have different naming or ordering in the book.

Has someone thought of porting it, maybe as a pack, just for completionism’s sake?

1 Like

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