Execution models of Prolog for parallel computers / Designing efficient algorithms for parallel computers / Languages and compilers for parallel computing / Languages and compilers for parallel computing : Programming models for parallel computing