Existe uma descrição da linguagem Prolog (sintaxe e semântica) disponível on-line?

Existem muitos manuais de referência para implementações. Mas nenhum desses é uma descrição de linguagem. Por exemplo, o manual do SWI Prologestados

Este manual não descreve a sintaxe completa e a semântica do Prolog.

Erefere-se para um conjunto de livros impressos em papel, publicado nos anos oitenta. E para o padrão ISO, que é para o dinheiro e "deve estar disponível a partir do representante do ISO do meu país" rabiscos.