Péter Kacsuk

• Execution models of Prolog for parallel computers