Execution Models of Prolog for Parallel Computers (1990)

by P Kacsuk