The Implementation of Parallel Prolog Using Stack Segments on Shared-Memory Multiprocessors
{'Code': '05040101', 'Directorate': {'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'LongName': 'Division of Microelectronic Information Processing Systems'}}
{'SignBlockName': 'name not available'}
There has been much interest in the development of parallel inference computing machines for higher performance computation. The implementation of parallel Prolog is an important and timely research topic. This investigation proposes to simulate parallel Prolog on networks of processors such as CM and ZAPP. In addition, the system will be implemented on an MIMD (Multiple Instruction Stream and Multiple Data Stream) multiprocessor. A working implementation of parallel Prolog could provide useful experience in developing parallel Prolog programming techniques, determining appropriate application areas, and finding deficiencies in the current execution model.
{'FirstName': 'Peter', 'LastName': 'Borgwardt', 'EmailAddress': None, 'StartDate': '01/15/1985', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Oregon Graduate Institute of Science & Technology', 'CityName': 'Beaverton', 'ZipCode': '970068921', 'PhoneNumber': '5036451121', 'StreetAddress': '20000 NW Walker Road', 'CountryName': 'United States', 'StateName': 'Oregon', 'StateCode': 'OR'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1984&All=true', 'xml': '8400758.xml'}