Существует ли описание языка Prolog (синтаксис и семантика) в Интернете?
Существует множество справочных руководств по реализации. Но ни одно из них не является описанием языка. Например, руководство SWI Prolog указывает
В этом руководстве не описывается полный синтаксис и семантика Prolog.
И ссылается на набор книг, напечатанных на бумаге, опубликованных в девятнадцати восьмидесятых годах. И по стандарту ИСО, который за деньги и "должен быть доступен из моей страны, представитель ISO", тарабарщина.