A Parallel Implementation Model of HPARLOG

In this paper,a new parallel logic programming language——HPARLOG developed by us is described,and a new scheme for the AND-parallelism implementation in logic programming language is proposed.This scheme not only resolves the instantiation conflict on sharing- variables,thoroughly explores the parallelism of the programs with incrementally constructed data structure,but also decreases the dynamic complexity of the programs.In addition,a pscudo-copy based memory management scheme to enhance the locality of g…