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

9504275沃伦这个项目的目标是为XSB系统设计和实现一个健壮且高效的集成优化编译器。XSB是一个集逻辑编程、演绎数据库和非单调推理于一体的系统。这三种范例的结合给系统优化编译器的设计带来了挑战。首先，这种组合产生了许多独特的优化问题，而这些问题并不单独与任何一种范式密切相关。其次，一个高效的汇编系统必须集成一套优化，以便广泛分享想法、公式和实施努力。文中将介绍一些与XSB相关的有趣的优化问题，并概述一些初步的解决方案。将概述一种通过使用约束来集成这些优化的有前途且强大的想法。将展示在这个项目中将开发的技术对函数和(约束)逻辑程序优化的潜在影响。这些技术将为跨多种语言和范例的集成优化编译系统奠定基础。***

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. ***