Рекурсивно-логическое программирование. Глотова Т.В.