[i_don_t_know]

The Art of Prolog is available as a free download (PDF) on the MIT Press website under „Open Access“.

AFAIK the biggest item that’s missing is constraint logic programming. Markus Triska discusses CLP in his Power of Prolog book.

[simongray]

Thank you for pointing that out.