A Virtual Machine Architecture for Parallel Logic Programs
{'Code': '05010300', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Yechezkel Zalcstein', 'PO_EMAI': 'zzalcste@nsf.gov', 'PO_PHON': '7032920000'}
An important new phase in the study of parallel execution of logic              programs is the development of efficient implementation techniques.             This project focuses on the design of a virtual machine for the AND/OR          Process Model, an abstract execution model in which user goals are              solved by independent objects communicating via messages.  This work            can be characterized as an attempt to do for the AND/OR Process Model           what the Warren Abstract Machine (WAM) did for Prolog:  achieve                 significantly faster execution through compilation to a virtual machine         tailored to the model of computation.                                                                                                                           Important aspects of a virtual machine for logic programs are the               representation of binding environments and instructions that control            the order in which goals are solved.  The proposed machine will build           what they call "closed environments," environments that have little or          no interaction,so that they can be built and moved anywhere in a                multiprocessor system.  Minimal interaction between environments is             important if the system will be implemented on a non-shared memory              multiprocessor.  The instruction set of the virtual machine will be             tailored to operations of a new method for controlling AND-parallel             processing.
{'FirstName': 'John', 'LastName': 'Conery', 'PI_MID_INIT': 'S', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'John S Conery', 'EmailAddress': 'conery@cs.uoregon.edu', 'NSF_ID': '000439964', 'StartDate': '08/15/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Oregon Eugene', 'CityName': 'EUGENE', 'ZipCode': '974031905', 'PhoneNumber': '5413465131', 'StreetAddress': '1776 E 13TH AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Oregon', 'StateCode': 'OR', 'CONGRESSDISTRICT': '04', 'CONGRESS_DISTRICT_ORG': 'OR04', 'ORG_UEI_NUM': 'Z3FGN9MF92U2', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF OREGON', 'ORG_PRNT_UEI_NUM': 'Z3FGN9MF92U2'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '4715', 'Text': 'COMPUTER SYSTEMS ARCHITECTURE'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8707177.xml'}