Начало см. здесь и здесь.

Агафонов В. Н., Борщев В. Б., Воронков А. А.
Логическое программирование в узком смысле.

В книге: "Логическое программирование" (сборник статей).

Пер. с англ., М.: Мир, 1988, сс. 306 — 307.

О программах и запросах см. здесь.

О подстановках см. здесь.

О запросах, атомах, правилах и программах см. здесь.

О "вариантах" некоторого правила см. здесь.