CISE Postdoctoral Program: An Integrated Compilation System for Logic Programming Deductive Database and Non-Monotonic Reasoning

CISE博士后项目：逻辑编程演绎数据库与非单调推理集成编译系统

• 批准号: 9504275
• 负责人: David Warren
• 金额: $ 4.62万
• 依托单位: SUNY at Stony Brook
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-03-15 至 1998-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9504275&HistoricalAwards=false
• 关键词: CISE; Postdoctoral; Program; Integrated; Compilation

9504275 Warren The goal of this project is the design and implementation of a robust and efficient integrated optimizing compiler for the XSB system. XSB is a system that integrates logic programming, deductive databases and nonmonotonic reasoning. The combination of the three paradigms introduces challenges to the design of an optimizing compiler for the system. Firstly, the combination give rise to a number of unique optimization problems that are not germane to any one of the paradigms alone. Secondly, an efficient compilation system must integrate a suite of optimizations so as to extensively share ideas, formulations and implementation efforts. Some of the interesting optimization problems relevant to XSB will be identified and some preliminary ideas for their solution will be sketched. A promising and powerful idea to integrate these optimizations through the use of constraints will be outlined. The potential impact of the techniques that will be developed in this project to the optimization of functional and (constraint) logic programs will be shown. These techniques will form the foundations for an integrated optimizing compilation system that spans multiple languages and paradigms. ***

小行星9504275 本项目的目标是为XSB系统设计和实现一个健壮、高效的集成优化编译器。 XSB是一个集逻辑程序设计、演绎数据库和非单调推理于一体的系统。 这三种范式的结合为系统的优化编译器的设计带来了挑战。 首先，这种组合会产生许多独特的优化问题，这些问题与任何一种范式都没有密切关系。 第二，一个有效的汇编系统必须整合一套优化，以便广泛分享想法、公式和执行工作。 一些有趣的优化问题相关的XSB将被确定和一些初步的想法，他们的解决方案将被勾勒出来。 一个有前途的和强大的想法，通过使用约束集成这些优化将被概述。 将在这个项目中开发的功能和（约束）逻辑程序的优化技术的潜在影响将被显示。 这些技术将构成一个集成的优化编译系统，跨越多种语言和范例的基础。 ***