Stepwise Enhancement: A Methodology for Prolog Programming

逐步增强：Prolog 编程方法

• 批准号: 9000387
• 负责人: Leon Sterling
• 金额: $ 13.09万
• 依托单位: Case Western Reserve University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-08-15 至 1992-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9000387&HistoricalAwards=false
• 关键词: Stepwise; Enhancement; Methodology; Prolog; Programming

The goal of this research is to develop a methodology for programming in Prolog, the most developed programming language based on logic programming, in order to build moderately sized software. The methodology will be based on recognizing the key programming cliches and basic building blocks of writing Prolog, and, more importantly, providing methods and tools for combining building blocks into complicated programs.

这项研究的目标是开发一种编程方法 Prolog是基于逻辑的最先进的编程语言。 编程，以构建中等规模的软件。 的 方法将基于对主要方案拟订陈词滥调的认识 和编写Prolog的基本构建块，更重要的是， 提供用于将构件块组合成 复杂的程序。