Theory and Implementation of Equational 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}
This is an ongoing research project to explore the implementability and         utility of Equational Logic Programming.  It has already produced a             compiler for an equational programming lanquage in which a program is a         set of equations, an input is a term, and a computation is a derivation         of certain logical consequences of the equations in the program,                leading to the output of a term in normal form equivalent to the input.         Novel features of the language include a total refusal to compromise            semantics for performance, leading to a uniform use of "lazy"                   evaluation - a technique in which precisely the information                     demonstrably relevant to the final output is automatically computed.            The current version of the compiler uses partial evaluation of                  intermediate code as an optimization technique, and its performance is          approaching that of conventional optimized compilers for C.  Continuing         research will include the study of more sophisticated evaluation                techniques to improve performance, theoretical advances to extend the           class of equational programs that can be compiled, simulation studies           to determine the potential benefits of parallel implementations of              equational programming languages, and experimentation with advance user         interfaces, including structure editor interfaces.
{'FirstName': 'Michael', 'LastName': "O'Donnell", 'PI_MID_INIT': 'J', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': "Michael J O'Donnell", 'EmailAddress': 'odonnell@cs.uchicago.edu', 'NSF_ID': '000243009', 'StartDate': '08/15/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Chicago', 'CityName': 'CHICAGO', 'ZipCode': '606375418', 'PhoneNumber': '7737028669', 'StreetAddress': '5801 S ELLIS AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Illinois', 'StateCode': 'IL', 'CONGRESSDISTRICT': '01', 'CONGRESS_DISTRICT_ORG': 'IL01', 'ORG_UEI_NUM': 'ZUE9HKT2CLC9', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF CHICAGO', 'ORG_PRNT_UEI_NUM': 'ZUE9HKT2CLC9'}
{'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'}, {'Code': '9120', 'Text': 'CROSS-DIRECTORATE PROGRAMS'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8805503.xml'}