Accession Number : ADA196942


Title :   Parallel Logic Programming and ZMOB


Descriptive Note : Final rept. 30 Jun 1982-13 Feb 1988


Corporate Author : MARYLAND UNIV COLLEGE PARK


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


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a196942.pdf


Report Date : 26 Apr 1988


Pagination or Media Count : 12


Abstract : This final report presents a summary of research accomplished to investigate parallel problem solving. Under the current grant a parallel problem solving system, PRISM (Parallel Inference System), that was implemented on the VAX/11-780, the PYRAMID and SUN machines, was ported successfully to McMOB and then to the BBN Butterfly parallel architecture. The McMOB architecture is essentially the ZMOB architecture with 16 Motorola 68000 processors, upgrading the Z80A microprocessors, interconnected in a ring structure. Experimental testing of PRISM on McMOB 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 ability to display AND-parallelism was added to the trace program which displays the execution of a program on the parallel machines. In addition to the above, work continued in the area of informative answers to be presented to a user. Heuristic techniques were developed to determine which information to display. Keywords: Splicing compilers, Debugging software, Artificial intelligence.


Descriptors :   *COMPUTER PROGRAMMING , *PARALLEL PROCESSING , ARTIFICIAL INTELLIGENCE , COMPILERS , COMPUTER PROGRAMS , DEBUGGING(COMPUTERS) , ENVIRONMENTS , HEURISTIC METHODS , LOGIC , MACHINES , PROBLEM SOLVING , RINGS , SPLICES


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE