结构化逻辑编程环境中的结构化数据

Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications Pub Date : 1990-03-07 DOI:10.1109/PARBSE.1990.77213

S. Nurcan, J. Kouloumdjian

{"title":"结构化逻辑编程环境中的结构化数据","authors":"S. Nurcan, J. Kouloumdjian","doi":"10.1109/PARBSE.1990.77213","DOIUrl":null,"url":null,"abstract":"EPSILON, a prototype developed in the context of the European ESPRIT project, is discussed. It is built on top of a commercial Prolog and DBMS (database management system) running on standard UNIX environment. The EPSILON logic programming environment allows the structuring of large knowledge bases expressed in logic languages using so-called theories. The integration of different object-oriented concepts into the current EPSILON prototype provides an environment offering the user object-oriented concepts at different levels. First, the theory concept itself is an object-oriented mechanism to structure logic programs. Second, implementing logic languages, including object-oriented concepts (type hierarchies, nested data structures, etc.), by metaprogramming provided by the theory concept allows the user to employ different augmented logic languages within the programming environment.<<ETX>>","PeriodicalId":389644,"journal":{"name":"Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications","volume":"35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Structured data in structured logic programming environment\",\"authors\":\"S. Nurcan, J. Kouloumdjian\",\"doi\":\"10.1109/PARBSE.1990.77213\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"EPSILON, a prototype developed in the context of the European ESPRIT project, is discussed. It is built on top of a commercial Prolog and DBMS (database management system) running on standard UNIX environment. The EPSILON logic programming environment allows the structuring of large knowledge bases expressed in logic languages using so-called theories. The integration of different object-oriented concepts into the current EPSILON prototype provides an environment offering the user object-oriented concepts at different levels. First, the theory concept itself is an object-oriented mechanism to structure logic programs. Second, implementing logic languages, including object-oriented concepts (type hierarchies, nested data structures, etc.), by metaprogramming provided by the theory concept allows the user to employ different augmented logic languages within the programming environment.<<ETX>>\",\"PeriodicalId\":389644,\"journal\":{\"name\":\"Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications\",\"volume\":\"35 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-03-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PARBSE.1990.77213\",\"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. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PARBSE.1990.77213","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

EPSILON是在欧洲ESPRIT项目背景下开发的原型。它建立在商业Prolog和DBMS(数据库管理系统)之上，运行在标准的UNIX环境中。EPSILON逻辑编程环境允许使用所谓的理论以逻辑语言表达大型知识库的结构。将不同的面向对象概念集成到当前的EPSILON原型中，提供了一个在不同级别上提供用户面向对象概念的环境。首先，理论概念本身是一个面向对象的机制来构造逻辑程序。其次，通过理论概念提供的元编程实现逻辑语言，包括面向对象的概念(类型层次结构、嵌套数据结构等)，允许用户在编程环境中使用不同的扩展逻辑语言。

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

查看原文本刊更多论文

Structured data in structured logic programming environment

EPSILON, a prototype developed in the context of the European ESPRIT project, is discussed. It is built on top of a commercial Prolog and DBMS (database management system) running on standard UNIX environment. The EPSILON logic programming environment allows the structuring of large knowledge bases expressed in logic languages using so-called theories. The integration of different object-oriented concepts into the current EPSILON prototype provides an environment offering the user object-oriented concepts at different levels. First, the theory concept itself is an object-oriented mechanism to structure logic programs. Second, implementing logic languages, including object-oriented concepts (type hierarchies, nested data structures, etc.), by metaprogramming provided by the theory concept allows the user to employ different augmented logic languages within the programming environment.<>

求助全文

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

来源期刊

Proceedings. PARBASE-90: International Conference on Databases, Parallel Architectures, and Their Applications

自引率

0.00%

发文量