Development System for Logic Programming
{'Code': '05010400', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Forbes D. Lewis', 'PO_EMAI': None, 'PO_PHON': None}
The challenge in logic programming is to offer a system that provides           the opportunity to ensure correctness of programs (by executing formal          logic specifications) without sacrificing efficiency (by allowing               specification of control).  Their project is to design and implement an         environment for the development and execution of logic programs,                maintaining and utilizing control information specified separately from         the logic of the programs.  The benefits of maintaining separate logic          and control information include readability of the programs, the                ability to make best use of the underlying hardware by changing the             control specification without affecting the partial correctness of the          programs, and portability of the logic specifications.  The proposed            system is unique in that most logic programming languages/systems               sacrifice the correctness of the declarative logic semantics in favor           of the efficiency gained by embedding the control information in the            logic program itself.
{'FirstName': 'Ruth', 'LastName': 'Davis', 'PI_MID_INIT': 'E', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Ruth E Davis', 'EmailAddress': 'rdavis@scu.edu', 'NSF_ID': '000456579', 'StartDate': '06/15/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Santa Clara University', 'CityName': 'SANTA CLARA', 'ZipCode': '950504776', 'PhoneNumber': '4085544764', 'StreetAddress': '500 EL CAMINO REAL', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'California', 'StateCode': 'CA', 'CONGRESSDISTRICT': '17', 'CONGRESS_DISTRICT_ORG': 'CA17', 'ORG_UEI_NUM': 'YE8LRJWSY3K9', 'ORG_LGL_BUS_NAME': 'PRESIDENT AND BOARD OF TRUSTEES OF SANTA CLARA COLLEGE', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '2875', 'Text': 'SYSTEM SOFTWARE'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8810673.xml'}