Following are some Prolog classics I have collected. I believe that
it is very likely that the group already will know them -- the reason
why I post them here is the idea that the books below might inspire
some nice Shen Prolog exercises, demos, or such, for the Shen Prolog
documentation.
1) Ivan Bratko: Prolog Programming for Artificial Intelligence, 4th
Edition, Pearson Addison Wesley, ISBN 978-0-321-41746-6.
2) Richard A. O'Keefe, The Craft of Prolog, The MIT Press, ISBN
978-0-262-51227-5.
3) Sterling-Shapiro: The Art of Prolog, 2nd Edition, The MIT Press,
ISBN 978-0-262-69163-5.
yours, AJY