Interim Report - Grant AFOSR-85-0065.

Abstract : The DOD University Research Instrumentation grant together with cost sharing by Syracuse University and grants/ discounts from equipment manufacturers has created a sizable research facility of Syracuse, including a VAX 11/780 system, 4 AED graphics terminals, a Hewlett Packerd Drafting plotter and an Imager Laser printer. Research projects being supported include New Generation Knowledge Processing, Concurrent Computer Architectures for Unification Operations, Construction of a Multiprocessor Reduction Machine for the Support of Logic Programming, Logic Programming and Knowledge Base Maintenance and An Initial Architecture for the Solution of the Partial-Match Retrieval Problem in the Context of Logic Programming. (Author)