一种从下到上推导逻辑程序的方案

Conference proceedings. IEEE International Conference on Systems, Man, and Cybernetics Pub Date : 1989-11-14 DOI:10.1109/ICSMC.1989.71420

Huo-yan Chen

{"title":"一种从下到上推导逻辑程序的方案","authors":"Huo-yan Chen","doi":"10.1109/ICSMC.1989.71420","DOIUrl":null,"url":null,"abstract":"In a previous publication (1988), the author proposed an algorithm for the parallel evaluation of logic programs from bottom to top in compile time. In this paper the author improves the algorithm, solving some problems not previously discussed. This leads to a reduction of the required storage space and makes the algorithm more practical.<<ETX>>","PeriodicalId":72691,"journal":{"name":"Conference proceedings. IEEE International Conference on Systems, Man, and Cybernetics","volume":"46 1","pages":"875-876 vol.2"},"PeriodicalIF":0.0000,"publicationDate":"1989-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A scheme for deducing logic programs from bottom to top\",\"authors\":\"Huo-yan Chen\",\"doi\":\"10.1109/ICSMC.1989.71420\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In a previous publication (1988), the author proposed an algorithm for the parallel evaluation of logic programs from bottom to top in compile time. In this paper the author improves the algorithm, solving some problems not previously discussed. This leads to a reduction of the required storage space and makes the algorithm more practical.<<ETX>>\",\"PeriodicalId\":72691,\"journal\":{\"name\":\"Conference proceedings. IEEE International Conference on Systems, Man, and Cybernetics\",\"volume\":\"46 1\",\"pages\":\"875-876 vol.2\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-11-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Conference proceedings. IEEE International Conference on Systems, Man, and Cybernetics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSMC.1989.71420\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Conference proceedings. IEEE International Conference on Systems, Man, and Cybernetics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSMC.1989.71420","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

在之前的一篇文章(1988)中，作者提出了一种在编译时间内从下至上并行计算逻辑程序的算法。在本文中，作者对算法进行了改进，解决了一些以前没有讨论的问题。这减少了所需的存储空间，使算法更加实用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

A scheme for deducing logic programs from bottom to top

In a previous publication (1988), the author proposed an algorithm for the parallel evaluation of logic programs from bottom to top in compile time. In this paper the author improves the algorithm, solving some problems not previously discussed. This leads to a reduction of the required storage space and makes the algorithm more practical.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Conference proceedings. IEEE International Conference on Systems, Man, and Cybernetics

自引率

0.00%

发文量