Prof. Kowalski has a draft version of his book available on his website, which should provide background information on LPS: http://www.doc.ic.ac.uk/~rak/paper

Prof. Kowalski has a draft version of his book available on his website, which should provide background information on LPS: http://www.doc.ic.ac.uk/~rak/papers/newbook.pdf http://www.doc.ic.ac.uk/~rak/papers/newbook.pdf Computational Logic and Human Thinking: How to be Artificially Intelligent "This earlier draft of a book of the same title, published in July 2011 by Cambridge University Press, presents the principles of Computational Logic, so that they can be applied in everyday life. I have written the main part of the book informally, both to reach a wider audience and to argue more convincingly that Computational Logic is useful for human thinking."