Here are some proofs and solved exercises:
ex15.pdf
,
ex26.pdf
,
ex27.pdf
,
ex31.pdf
,
ex51.pdf
Related:
Logical Foundations of Prolog
Main page