Computational Logic

Michael Genesereth, the author of this book, has kindly granted permission to anyone to make copies for any non-commercial use.

Here we include only the chapters relevant to the INF1 course. Go to the Stanford website for the full book.