並行論理プログラミングのプログラムは、一般に以下のガード付きのホーン節(horn clause)の集まりで表現される。