{"title":"KSL/Logic:逻辑与对象的集成","authors":"M. Ibrahim, F. Cummins","doi":"10.1109/ICCL.1990.63778","DOIUrl":null,"url":null,"abstract":"KSL/Logic is an integration of logic and object-oriented programming that adds the declarative framework and deductive reasoning of logic programming to the powerful modeling capabilities of the object-oriented paradigm. Predicates, logic expressions, and the generalized search protocol of KSL/Logic are implemented as an integral part of KSL, a reflective, object-oriented programming language. KSL/Logic provides capabilities that go beyond those of Prolog to permit domain-based reasoning, functional arguments, matching of complex object patterns, and object representation of facts. The syntax and semantics of KSL/Logic are described, and the object implementation of its predicate resolution is examined.<<ETX>>","PeriodicalId":317186,"journal":{"name":"Proceedings. 1990 International Conference on Computer Languages","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":"{\"title\":\"KSL/Logic: integration of logic with objects\",\"authors\":\"M. Ibrahim, F. Cummins\",\"doi\":\"10.1109/ICCL.1990.63778\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"KSL/Logic is an integration of logic and object-oriented programming that adds the declarative framework and deductive reasoning of logic programming to the powerful modeling capabilities of the object-oriented paradigm. Predicates, logic expressions, and the generalized search protocol of KSL/Logic are implemented as an integral part of KSL, a reflective, object-oriented programming language. KSL/Logic provides capabilities that go beyond those of Prolog to permit domain-based reasoning, functional arguments, matching of complex object patterns, and object representation of facts. The syntax and semantics of KSL/Logic are described, and the object implementation of its predicate resolution is examined.<<ETX>>\",\"PeriodicalId\":317186,\"journal\":{\"name\":\"Proceedings. 1990 International Conference on Computer Languages\",\"volume\":\"31 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-03-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"13\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. 1990 International Conference on Computer Languages\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICCL.1990.63778\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. 1990 International Conference on Computer Languages","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCL.1990.63778","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
KSL/Logic is an integration of logic and object-oriented programming that adds the declarative framework and deductive reasoning of logic programming to the powerful modeling capabilities of the object-oriented paradigm. Predicates, logic expressions, and the generalized search protocol of KSL/Logic are implemented as an integral part of KSL, a reflective, object-oriented programming language. KSL/Logic provides capabilities that go beyond those of Prolog to permit domain-based reasoning, functional arguments, matching of complex object patterns, and object representation of facts. The syntax and semantics of KSL/Logic are described, and the object implementation of its predicate resolution is examined.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
