Есть ли в Интернете описание языка Пролог (синтаксис и семантика)?

Есть много справочных руководств для реализации. Но ни один из них не является описанием языка. Например, руководство по SWI Prologсостояния

This manual does not describe the full syntax and semantics of Prolog.

А такжеотносится к ряду книг, напечатанных на бумаге, изданных в восьмидесятых. И в соответствии со стандартом ISO, который предназначен для денег и должен быть доступен у представителя моей страны в ISO. тарабарщина.