Какой язык создан на основе метода резолюций?

Для просмотра статистики ответов нужно залогиниться.