资源描述:
《PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE - lvan Bratko》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、PROLOGPROGRAMMINGFORARTIFICIALINTELLIGENCEwww.aibbt.com艾伯特-专注人工智能INTERNATIONALCOMPUTERSCIENCESERIESConsultingeditorsADMcGettrickUniversityofStrathclydeJvanLeeuwenUniversityofUtrechtOTHERTITLESINTHESERIESProgramminginAda(2ndEdn.)JGPBarnesComputerScienceAppliedt
2、oBusinessSystemsMJRShaveandKNBhaskarSoftwareEngineering(2ndEdn.)ISommervilleAStructuredApproachtoFORTRAN77ProgrammingTMREllisTheCambridgeDistributedComputingSystemRMNeedhamandAJHerbertAnIntroductiontoNumericalMethodswithPascalLVAtkinsonandPJHarlevTheUNIXSystem
3、SRBourneHandbookofAlgorithmsandDataStructuresGHGonnetOfficeAutomation:Concepts,TechnologiesandIssuesRAHirschheimMicrocomputersinEngineeringandScienceIFCraineandGRMartinUNIXforSuper-UsersEFoxleySoftwareSpecificationTechniquesNGehaniandADMcGettrick(eds.)Introduc
4、tiontoExpertSystemsPJacksonDataCommunicationsforProgrammersMPurserLocalAreaNetworkDesignAHopper,STempleandRCWilliamsonModula-2:Dscipline&DesignAHJSalewww.aibbt.com艾伯特-专注人工智能PROLOGPROGRAMMINGFORARTIFICIALINTELLIGENCElvanBratkoE.KardeljUniversity.J.StefanInstitu
5、teYugoslaviaYVADDISON-WESLEYPUBLISHINGCOMPANYWokingham,England.Reading,Massachusetts.illenloPark,CaliforntaDonMills,Ontario.Amsterdam.Sydney'Singapore.TokyoMadrid.Eogota.Santiago.SanJuanwww.aibbt.com艾伯特-专注人工智能@1986Addison-WesleyPublishersLimitedo1986Addison-We
6、sleyPublishingCompany,Inc.Allrightsreserved.Nopartof'thispublicationmaybereproduced,storedinaretrievalsystem,ortransmittedinanyformorbyanymeans,electronic,mechanical,photocopying,recording,orotherwise,withoutpriorwrittenpermissionofthepublisher.Covergraphicbyk
7、indpermissionofDicomed(UK)Ltd.PhototypesetbyComputerset(MFK)Ltd.,Ely,Cambs.PrintedinGreatBritainbvCommercialColourPress.BritishLibraryCataloguinginPublicationDataBratko.IvanPrologprogrammingforartificialintelligence.1.Artificialintelligence-Dataprocessing2.Pro
8、log(Computerprogramlanguage)I.Title006.3'02855133Q336ISBN0-20r-14224-4LibraryofCongressCataloging-in-PublicationDataBratko,Ivan.Prologprogrammingforartificialintelligence.Includesi