• Класифікатори
• синтез, synthesis

ситез програм, ситез программ

Документи:

• Хоггер, Кристофер Джон
  Введение в логическое программирование [Текст] : Пер. с англ. / К. Хоггер ; Ред. Ю.И. Янова. — М. : Мир, 1988. — 368 с. — ISBN 5-03-000490-4.