Accession Number : ADA186300

Title :   Parallel Logic Programming and ZMOB and Parallel Systems Software and Hardware.

Descriptive Note : Final rept.,

Corporate Author : MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE

Personal Author(s) : Minker, Jack ; Weiser, Mark

PDF Url : ADA186300

Report Date : Dec 1986

Pagination or Media Count : 17

Abstract : Under the current grant parallel hardware and systems software implemented on ZMOB in the previous year underwent extensive testing. A parallel problem solving system, PRISM (Parallel Inference System) implemented on the VAX/11-780 in the previous year was implemented on the PYRAMID and SUN machines. The initial version of PRISM uses a simulation of the ZMOB hardware, and has been fully tested and debugged. Experimental testing of PRISM on the simulated system was undertaken in the current year. In addition, several enhancements were made to PRISM to permit experimental analyses to be made, and to incorporate additional features to take full advantage of parallelism in a problem solving environment. The tracing and statistical gathering packages were extended. An AND-parallelism capability was added to achieve a second version of the PRISM system, and other features were added to the system to more fully exploit parallelism. A constraint solving machine was integrated with PRISM. In addition to the above, a general method to permit informative answers to be presented to a user has been developed. Theoretical results were obtained for circumscription and a method for computing in protected circumscription, using Horn clauses was developed. In the area of systems hardware and software, the ZMOB processor is now fully functional and in everyday use with 128 processors.

Descriptors :   *COMPUTER PROGRAMMING, COMPUTER PROGRAMS, LOGIC, PARALLEL ORIENTATION, PARALLEL PROCESSING, PROBLEM SOLVING, COMPUTERIZED SIMULATION

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE