Near-Horn Prolog: Extending Yet Preserving Prolog
{'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}
Near-Horn Prolog (nH-Prolog) is an extension of Prolog to handle                disjunction and classical negation while retaining the positive                 attributes of Prolog inner-loop speed is achieved; the Prolog format is         also preserved by retaining a positive implication logic.  Limited              experience with a prototype interpreter suggest that this approach              works well when there are very few "non-Prolog" (indefinite clauses.            It is conjectured that many problems that fall outside the Prolog               domain have very few violating clauses.  The study of nH-Prolog will be         continued by building a state-of-the-art compiler whose inner-loop              speed closely approximates that of existing Prolog compilers.  An               appropriate abstract machine based on the WAM will be designed, taking          advantage of nH-Prolog's similarity to Prolog.  Challenging conceptual          problems exist in allowing negation-as-failure to coexist with                  classical negation; other procedural questions arise.  Standard                 optimization tricks can be exploited only if variant formations of nH-          Prolog are possible.  A parallel variant of nH-Prolog is to be designed         and implemented, a project summary.
{'FirstName': 'Donald', 'LastName': 'Loveland', 'PI_MID_INIT': 'W', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Donald W Loveland', 'EmailAddress': 'dwl@cs.duke.edu', 'NSF_ID': '000159340', 'StartDate': '10/01/1989', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Duke University', 'CityName': 'DURHAM', 'ZipCode': '277054640', 'PhoneNumber': '9196843030', 'StreetAddress': '2200 W MAIN ST', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'North Carolina', 'StateCode': 'NC', 'CONGRESSDISTRICT': '04', 'CONGRESS_DISTRICT_ORG': 'NC04', 'ORG_UEI_NUM': 'TP7EK8DZV6N5', 'ORG_LGL_BUS_NAME': 'DUKE UNIVERSITY', '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'}, {'Code': '9145', 'Text': 'SPECIAL PROGRAMS-RESERVE'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1989&All=true', 'xml': '8900383.xml'}