Czy istnieje opis języka Prolog (składnia i semantyka) dostępny online?

Istnieje wiele podręczników do implementacji. Ale żaden z nich nie jest opisem języka. Na przykład podręcznik SWI Prologstany

Ten podręcznik nie opisuje pełnej składni i semantyki Prologu.

Iodnosi się do zestawu książek wydrukowanych na papierze, opublikowanych w latach osiemdziesiątych. I do normy ISO, która jest za pieniądze i „powinna być dostępna z bełkotu przedstawiciela ISO mojego kraju”.