Well formed semantics for Dummies?

I read some of the docs on well formed semantics. Unfortunately, I still don’t quite understand what you can do with it and how it works. Is there a “Well formed semantics for Dummies?” document somewhere that really breaks it down for a complete novice to the subject?

Well Founded Semantics

@EricGT Yes. That’s what I read. That’s a description of the API and relevant calls that as I said, I couldn’t get much out of. I need something that that covers the concept of well formed semantics in general at a very basic level.

If you are up to for a long read, you could read the XSB manual here: http://xsb.sourceforge.net/manual1/manual1.pdf

Chapter 5 treats some of it calling it ‘non-stratified’ programs.

1 Like