Логическое программирование: сборник статей; пер. с англ. и фр. (Математическое обеспечение ЭВМ)