Logic, Programming and Prolog (2ed)
Ulf Nilsson, Jan Małuszyński · 1995
and printed for personal use only provided that the text (1) is not altered in any way, and (2) is accompanied by this copyright notice. The book may also be copied and distributed in paper-form for non-profit use only. No other form of distribution is allowed. It is not allowed to distribute the book electronically. This book was previously published by John Wiley & Sons Ltd. The book was originally published in 1990 with the second edition in 1995. The copyright was reverted back to the authors in November 2000. For further information about updates and supplementary material please check out the book web-site at