¿Hay una descripción del lenguaje Prolog (sintaxis y semántica) disponible en línea?

Hay una gran cantidad de manuales de referencia para implementaciones. Pero ninguno de esos es una descripción del lenguaje. Por ejemplo el manual SWI Prologestados

Este manual no describe la sintaxis completa y la semántica de Prolog.

Yse refiere A un conjunto de libros impresos en papel, publicados en los años ochenta. Y a la norma ISO, que es por dinero y "debería estar disponible en el representante de ISO de mi país", es un problema.