Advanced Search »
Newsletter
Unsubscribe »
National Science Foundation Award #9000387

Stepwise Enhancement: A Methodology for Prolog Programming

 
Investigator(s): Leon Sterling (PI)
Sponsor: Case Western Reserve University, OH 44106 2163684510
Start Date/Expiration Date 1990-08-15 to 1992-07-31 (amended 1991-09-16)
Awarded Amount to Date: $130,935
Abstract: 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.
NSF Org: CCF - Division of Computer and Communication Foundations
Award Number: 9000387
Award Instrument: Continuing grant
Program Manager: D. Helen Gill
CCF Division of Computer and Communication Foundations
CSE Directorate for Computer & Information Science & Engineering
NSF Program(s): SOFTWARE ENGINEERING AND LANGU, SOFTWARE ENGINEERING AND LANGU
Field Application(s): Computer Science & Engineering, Other nsf.applications NEC
Program Element Code(s): 2880
, 2880