邏輯程序設(shè)計(jì)理論與實(shí)踐強(qiáng)調(diào)邏輯程序設(shè)計(jì)的理論與實(shí)踐。 邏輯程序設(shè)計(jì)適用于人工智能和計(jì)算機(jī)科學(xué)的所有領(lǐng)域，并且是它們的基礎(chǔ)。 涵蓋的主題包括使用邏輯編程的AI應(yīng)用程序，邏輯編程方法，系統(tǒng)的規(guī)范，分析和驗(yàn)證，歸納邏輯編程，多關(guān)系數(shù)據(jù)挖掘，自然語(yǔ)言處理，知識(shí)表示，非單調(diào)推理，語(yǔ)義Web推理， 數(shù)據(jù)庫(kù)，實(shí)現(xiàn)和體系結(jié)構(gòu)以及約束邏輯編程。

Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.