https://5dok.net/document/lzgpkmnz-fully-abstract-denotational-semantics-for-concurrent-prolog.html