the art of prolog, доступна в открытом доступе (
https://mitpress.mit.edu/books/art-prolog-second-edition, open access таб). хорошая, четенько проводит границу между прологом и лоджик программинг в целом, но не самая “фановая”, так скажем 🙂
Prolog Programming for Artificial Intelligence, в цифровом виде нет, но все еще можно купить новую печатную (
https://www.amazon.com/Programming-Artificial-Intelligence-International-Computer/dp/0321417461). Там прям все как мы любим, все разжевывается, с примерчиками, касаясь теории совсем чуть и только когда нужно