[ja] 並行論理プログラミング

[sr] Упореднo логичко програмирање