| To be honest I don't know any short articles that do a good job of describing Prolog. For a practically-minded programmer, I'd recommend this longer tutorial that guides you through the creation of an old-skewl text-based adventure game: https://amzi.com/AdventureInProlog/apreface.php As far as I remember, the tutorial should run on most Prologs without (significant?) modification. For a more in-depth, high-level, more computer-sciency view try Marcus Triska's pages: https://www.metalevel.at/prolog Marcus Triska is also the author of several constraint logic programming libraries, for example: https://www.swi-prolog.org/man/clpfd.html Then, there's a number of textbooks. The classics are Clockin and Mellish and Bratko: Programming in Prolog (Fifth Edition): https://www2.cs.arizona.edu/classes/cs372/spring15/Programmi... Prolog programing for AI https://archive.org/details/prologprogrammin0000brat I personally really enjoyed this book by George Luger: AI Algorithms, Data Structures and Idioms in Prolog, Lisp and Java https://www.cs.fsu.edu/~cap5605/Luger_Supplementary_Text.pdf For the theory behind DCGs, there's Pereira and Shieber: Prolog and Natural Language Analysis http://www.mtome.com/Publications/PNLA/prolog-digital.pdf And for logic programming theory in general, the seminal source is J. W. Lloyd: Foundations of logic progamming https://link.springer.com/book/10.1007/978-3-642-83189-8 Unfortunately, I can't recommend any newer texbooks. |