Hi Jan,
thank you for your interest!
Not yet. However, there is a public git repository so that you can run
your own local HTTP server to read the material.
Some of the material is better suited for dynamic pages and less suited
for static pages such as PDF. Also, the HTTP server advertises the
web-based use cases of Prolog, which I think deserve some publicity.
Nevertheless, I will eventually also provide a PDF version!
> Does it have an ISBN number?
Again, not yet. It will have one eventually. To cite the book, please
use its URL for now:
https://www.metalevel.at/prolog
It is always work in progress, and I expect to work on it for several
more decades as new Prolog features are becoming available.
For example, I am currently working on the "Cryptography" chapter:
https://www.metalevel.at/prolog/cryptography
I am extending SWI-Prolog's library(crypto) with new functionality I
want to cover in this chapter, such as incremental encryption and AEAD.
It is my hope that other Prolog systems will implement compatible APIs.
Thank you and all the best,
Markus
--
comp.lang.prolog FAQ:
http://www.logic.at/prolog/faq/
The Power of Prolog:
https://www.metalevel.at/prolog