Text this: Логическое программирование: сборник статей; пер. с англ. и фр.