艾伯特Logic.Programming.And.Prolog.Second.Edition

《艾伯特Logic.Programming.And.Prolog.Second.Edition》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

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

2、utedinpaper-formfornon-protuseonly.Nootherformofdistributionorstorageispermitted.Inparticular,itisnotallowedtostoreanddistributethebookelectronically.ThisbookwaspreviouslypublishedbyJohnWiley&SonsLtd.Thebookwasorigi-nallypublishedin1990withthesecondeditionpublishedin1

3、995.ThecopyrightwasrevertedbacktotheauthorsinNovember2000.Forfurtherinformationaboutupdatesandsupplementarymaterialpleasecheckoutthebookweb-siteathttp://www.ida.liu.se/~ulfni/lpporcontacttheauthorsatulfni@ida.liu.seandjanma@ida.liu.se.www.aibbt.com让未来触手可及www.aibbt.com让

4、未来触手可及ContentsPrefaceixIFoundations11Preliminaries31.1LogicFormulas...............................31.2SemanticsofFormulas...........................71.3ModelsandLogicalConsequence.....................101.4LogicalInference..............................131.5Substitutions

5、................................14Exercises..................................162DeniteLogicPrograms192.1DeniteClauses...............................192.2DeniteProgramsandGoals.......................212.3TheLeastHerbrandModel........................242.4Constructiono

6、fLeastHerbrandModels.................29Exercises..................................313SLD-Resolution333.1InformalIntroduction...........................333.2Unication.................................373.3SLD-Resolution...............................433.4SoundnessofSLD-

7、resolution.......................483.5CompletenessofSLD-resolution......................513.6ProofTrees.................................53Exercises..................................57vwww.aibbt.com让未来触手可及viContents4NegationinLogicProgramming594.1NegativeKnowledge......

8、......................594.2TheCompletedProgram..........................614.3SLDNF-resolutionforDenitePrograms......