並列版は、原則、「ノード間の参照」を表わす参照セルをジェネリックオブジェクトにより 導入することにより実現されている。「参照」は基本的には KL1レベルでは未定義変数、または、透過的に見えるべき参照セルである。
これらへのunify, derefenceなどのkernelからの操作をこれらの objectがメッセージ通信に翻訳することにより分散処理が行われる。
基本的には(まさに通信されている間を除くと)、他のデータ構造については 逐次処理系と全く同じものを用い、それに対しての処理も基本的に同じものとする。