Logic.Programming.And.Prolog.Second.Edition

《Logic.Programming.And.Prolog.Second.Edition》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、LOGIC,PROGRAMMINGANDPROLOG(2ED)UlfNilssonandJanMaluszynskiCopyrightc2000,UlfNilssonandJanMaluszynski.Thebookmaybedownloadedandprintedforpersonaluseonlyprovidedthatthetext(1)isnotalteredinanyway,and(2)isaccompaniedbythiscopyrightnotice.Thebookmayalsobecopiedanddistributedinpaper-formforn

2、on-protuseonly.Nootherformofdistributionorstorageispermitted.Inparticular,itisnotallowedtostoreanddistributethebookelectronically.ThisbookwaspreviouslypublishedbyJohnWiley&SonsLtd.Thebookwasorigi-nallypublishedin1990withthesecondeditionpublishedin1995.Thecopyrightwasrevertedbacktotheauth

3、orsinNovember2000.Forfurtherinformationaboutupdatesandsupplementarymaterialpleasecheckoutthebookweb-siteathttp://www.ida.liu.se/~ulfni/lpporcontacttheauthorsatulfni@ida.liu.seandjanma@ida.liu.se.ContentsPrefaceixIFoundations11Preliminaries31.1LogicFormulas...............................31

4、.2SemanticsofFormulas...........................71.3ModelsandLogicalConsequence.....................101.4LogicalInference..............................131.5Substitutions................................14Exercises..................................162DeniteLogicPrograms192.1DeniteClauses.

5、..............................192.2DeniteProgramsandGoals.......................212.3TheLeastHerbrandModel........................242.4ConstructionofLeastHerbrandModels.................29Exercises..................................313SLD-Resolution333.1InformalIntroduction................

6、...........333.2Unication.................................373.3SLD-Resolution...............................433.4SoundnessofSLD-resolution.......................483.5CompletenessofSLD-resolution......................513.6ProofTrees.................................53Exercises.............

7、.....................57vviContents4NegationinLogicProgramming594.1NegativeKnowledge............................594.2TheCompletedProgram..........................614.3SLDNF-resolutionforDenitePrograms.................654.4GeneralLogicPrograms........................