Springer.Logic.Programming.with.Prolog.(2005).[1852339381]

《Springer.Logic.Programming.with.Prolog.(2005).[1852339381] 》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、LogicProgrammingwithPrologMaxBramerLogicProgrammingwithPrologMaxBramer,BSc,PhD,CEng,FBCS,FIEE,FRSA,ILTMDepartmentofComputerScienceandSoftwareEngineeringUniversityofPortsmouthUnitedKingdomBritishLibraryCataloguinginPublicationDataAcataloguerecordforthisb

2、ookisavailablefromtheBritishLibraryLibraryofCongressControlNumber:2005923526Apartfromanyfairdealingforthepurposesofresearchorprivatestudy,orcriticismorreview,aspermittedundertheCopyright,DesignsandPatentsAct1988,thispublicationmayberepro-duced,storedort

3、ransmitted,inanyformorbyanymeans,withthepriorpermissioninwritingofthepublishers,orinthecaseofreprographicreproductioninaccordancewiththetermsoflicensesissuedbytheCopyrightLicensingAgency.Enquiriesconcerningreproductionoutsidethosetermsshouldbesenttothep

4、ublishers.ISBN-10:1-85233-938-1ISBN-13:978-1852-33938-8SpringerScience+BusinessMediaspringeronline.com©MaxBramer2005Theuseofregisterednames,trademarks,etc.inthispublicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromthere

5、levantlawsandregula-tionsandthereforefreeforgeneraluse.Thepublishermakesnorepresentation,expressorimplied,withregardtotheaccuracyoftheinformationcontainedinthisbookandcannotacceptanylegalresponsibilityorliabilityforanyerrorsoromissionsthatmaybemade.Prin

6、tedintheUnitedStatesofAmerica34-543210Printedonacid-freepaperSPIN11344445IntroductionLogicProgrammingisthenamegiventoadistinctivestyleofprogramming,verydifferentfromthatofconventionalprogramminglanguagessuchasC++andJava.FansofLogicProgrammingwouldsaytha

7、t'different'meansclearer,simplerandgenerallybetter!AlthoughthereareotherLogicProgramminglanguages,byfarthemostwidelyusedisProlog.ThenamestandsforProgramminginLogic.ThisbookteachesthetechniquesofLogicProgrammingthroughtheProloglanguage.Prologisbasedonres

8、earchbycomputerscientistsinEuropeinthe1960sand1970s,notablyattheUniversitiesofMarseilles,LondonandEdinburgh.ThefirstimplementationwasattheUniversityofMarseillesintheearly1970s.FurtherdevelopmentattheUniversityofEdinburghledtoadef