Does Prolog have a formal semantics?

Discussion
1

re: Is the definition of "predicate" correct in the Glossary of Terms? - #48 by j4n_bur53

I guess Prolog itself atoms represent themselves – so the unique naming assumption is given.

3

to bad the book is behind a paywall …