本書是關(guān)于邏輯編程的入門教科書，它主要適用于本科生，但也適合中學(xué)生和低年級(jí)研究生閱讀。
本書假設(shè)學(xué)生已經(jīng)理解集合和集合運(yùn)算，比如并集、交集等。本書還假設(shè)學(xué)生熟悉符號(hào)運(yùn)算，掌握高中代數(shù)或有更高水平。
如果讀者有運(yùn)用計(jì)算思維的經(jīng)驗(yàn)，會(huì)對閱讀本書有幫助，但這并不是閱讀本書的條件。另外，編程經(jīng)驗(yàn)也不是必需的。實(shí)際上，我們已經(jīng)觀察到，一些具有編程背景的學(xué)生剛開始閱讀這本書的時(shí)候比沒有編程經(jīng)驗(yàn)的學(xué)生要困難得多。為了欣賞邏輯編程的力量和美感，他們似乎需要忘掉一些以前學(xué)過的知識(shí)。
本書采用的邏輯編程方法來自30多年來我們在學(xué)術(shù)和商業(yè)環(huán)境中的研究、應(yīng)用和教學(xué)。這些經(jīng)歷很寶貴，使得本書在以下兩個(gè)方面不同于其他書籍。
，本書采用模型理論的方法來闡述語義，而不用傳統(tǒng)的證據(jù)理論方法。從數(shù)據(jù)集的基本概念（即基本原子集）開始，我們引入了視圖定義的經(jīng)典邏輯程序，這種程序使用傳統(tǒng)的Prolog表示法編寫，但根據(jù)數(shù)據(jù)集而不是實(shí)現(xiàn)給出語義。我們也會(huì)在稍后的演示中討論實(shí)現(xiàn)。
第二，我們同時(shí)關(guān)注數(shù)據(jù)集的改變與邏輯代理的狀態(tài)。在討論了數(shù)據(jù)集之后，我們引入了更新的基本概念，即添加和刪除基本原子。根據(jù)這個(gè)基本概念，我們引入動(dòng)態(tài)邏輯程序作為動(dòng)作定義集，其中動(dòng)作被概念化為同步更新集。這個(gè)擴(kuò)展允許我們討論邏輯代理以及靜態(tài)邏輯程序。（邏輯代理實(shí)際上是一個(gè)狀態(tài)機(jī)，其中每個(gè)狀態(tài)被建模為數(shù)據(jù)集，每條弧被建模為一組更新。）
本書有印刷版和在線版，還通過教學(xué)網(wǎng)站提供能自動(dòng)評分的在線練習(xí)、編程作業(yè)、邏輯編程工具和各種示例程序。該網(wǎng)站免費(fèi)開放，網(wǎng)址為http://logicprogramming.stanford.edu。
后，我們要感謝對本書的編寫工作產(chǎn)生深遠(yuǎn)影響的兩個(gè)人：Jeff Ullman 和 Bob Kowalski。Jeff Ullman是我們在斯坦福大學(xué)的同事，他編寫的廣受歡迎的教材啟發(fā)了我們，并幫助我們認(rèn)識(shí)到邏輯編程和數(shù)據(jù)庫之間的深層關(guān)系。Bob Kowalski是邏輯編程的共同發(fā)明者，他傾聽了我們的想法，為我們的工作提供幫助，甚至就本書的某些章節(jié)與我們進(jìn)行了合作。
我們還想感謝Abhijeet Mohapatra。他是動(dòng)態(tài)邏輯編程的共同發(fā)明者，也是本書中許多邏輯編程工具的共同創(chuàng)造者。他是這門課程的助教，為本書內(nèi)容的呈現(xiàn)和組織提供了寶貴的建議。
后，我們要感謝那些不得不忍受本書早期版本的學(xué)生們，在許多情況下，他們通過經(jīng)歷并不總是成功的實(shí)驗(yàn)來幫助我們找到正確的方法。盡管犯了很多錯(cuò)誤，他們似乎還是學(xué)會(huì)了書中的內(nèi)容，他們很聰明。他們的耐心和建設(shè)性的意見對于幫助我們理解哪些東西是可取的尤為寶貴。

Michael Genesereth和Vinay K. Chaudhri
2019年12月