Donald Bren School of Information and Computer Sciences

The goal of the proposed research is to develop methods for efficient implementation of logic programs. There are two areas we wish to investigate, both of which are continuations of research conducted by members of the UCI dataflow architecture group. One aspect of the proposed research involves development of a non-von Neumann architecture for parallel execution of logic programs; preliminary work in this area is reported by Conery [9]. The second area invovles transformation of high level logic specifications into efficient Prolog and/or procedural language programs, and is based on work by Morris [20].