A Parallel Implementation Model of HPARLOG

In this paper,a new parallel logic programming language——HPARLOG developed by usis described,and a new scheme for the AND-parallelism implementation in logic programminglanguage is proposed.This scheme not only resolves the instantiation conflict on sharing-variables,thoroughly explores the parallelism of the programs with incrementally constructeddata structure,but also decreases the dynamic complexity of the programs.In addition,apscudo-copy based memory management scheme to enhance the locality of goal processes andlower the overhead of program execution is proposed.