Intelligent Backtracking in And-Parallel Prolog. - Andrew Roy Verden; Hugh Glaser (Declarative Programming, 1991)

And-parallel implementation of Prolog on distributed memory machines. - Andrew Roy Verden (1991)