I am writing a paper that i want to submit to a scientific journal; the preliminary title is “Using Logic Programs to Represent and Infer Knowledge”. In the paper i want to explain some key Prolog concepts very compactly. This is tricky because most of the readers have never heard of Prolog or logic programming.
Does anybody know some good examples from the literature where the authors managed to explain key concepts in Prolog very briefly? The constructs that are (mostly) in focus in my paper are proof search, variables, numbers, atoms, nested compound terms, recursion, maplist, and findall.
EDIT: Added some more details in my post below.
I have seen the Wikipedia text about Prolog and i think it is quite good, but any additional suggestions are welcome!
If this is too off topic in this forum let me know and i’ll delete this post