{"title":"逻辑编程与Prolog的执行模型","authors":"Dan E. Tamir, Abe Kandel","doi":"10.1016/1069-0115(95)90038-1","DOIUrl":null,"url":null,"abstract":"<div><p>This paper introduces the subject of logic programming, describes the execution model of Prolog, and surveys Prolog development tools. In addition, the paper explains how Prolong integrates with artificial intelligence applications and software engineering principles. Finally, it shows how the execution model of Prolog can be optimized and parallelized efficiently.</p></div>","PeriodicalId":100668,"journal":{"name":"Information Sciences - Applications","volume":"4 3","pages":"Pages 167-191"},"PeriodicalIF":0.0000,"publicationDate":"1995-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/1069-0115(95)90038-1","citationCount":"0","resultStr":"{\"title\":\"Logic programming and the execution model of Prolog\",\"authors\":\"Dan E. Tamir, Abe Kandel\",\"doi\":\"10.1016/1069-0115(95)90038-1\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>This paper introduces the subject of logic programming, describes the execution model of Prolog, and surveys Prolog development tools. In addition, the paper explains how Prolong integrates with artificial intelligence applications and software engineering principles. Finally, it shows how the execution model of Prolog can be optimized and parallelized efficiently.</p></div>\",\"PeriodicalId\":100668,\"journal\":{\"name\":\"Information Sciences - Applications\",\"volume\":\"4 3\",\"pages\":\"Pages 167-191\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1995-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/1069-0115(95)90038-1\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Information Sciences - Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/1069011595900381\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Information Sciences - Applications","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/1069011595900381","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Logic programming and the execution model of Prolog
This paper introduces the subject of logic programming, describes the execution model of Prolog, and surveys Prolog development tools. In addition, the paper explains how Prolong integrates with artificial intelligence applications and software engineering principles. Finally, it shows how the execution model of Prolog can be optimized and parallelized efficiently.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
