Логическое программирование. - М.: Знание, 1988. - 48 с.

(Новое в жизни, науке и технике. Сер. "Вычислительная техника и ее применение", №9)