The Logic programming tutor /
Paine, Jocelyn.
Oxford : Intellect,
1992.