{"title":"直接执行PROLOG系统","authors":"L. Hsu","doi":"10.1145/317164.317191","DOIUrl":null,"url":null,"abstract":"This paper presents a direct execution PROLOG system. It does syntax check at token level and reports errors even before a clause is completed. It does consistency checking whenever rules and facts are entered, and waits for corrective action from the user so that errors cannot snowball. The user can trace the unification process in detail. He can examine the backtracking path and/or the value of the instantiated variables at any point. The system is written in PASCAL.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"64 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1985-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A direct execution PROLOG system\",\"authors\":\"L. Hsu\",\"doi\":\"10.1145/317164.317191\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents a direct execution PROLOG system. It does syntax check at token level and reports errors even before a clause is completed. It does consistency checking whenever rules and facts are entered, and waits for corrective action from the user so that errors cannot snowball. The user can trace the unification process in detail. He can examine the backtracking path and/or the value of the instantiated variables at any point. The system is written in PASCAL.\",\"PeriodicalId\":147067,\"journal\":{\"name\":\"Symposium on Small Systems\",\"volume\":\"64 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1985-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Symposium on Small Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/317164.317191\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Symposium on Small Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/317164.317191","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This paper presents a direct execution PROLOG system. It does syntax check at token level and reports errors even before a clause is completed. It does consistency checking whenever rules and facts are entered, and waits for corrective action from the user so that errors cannot snowball. The user can trace the unification process in detail. He can examine the backtracking path and/or the value of the instantiated variables at any point. The system is written in PASCAL.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
