deduction-oriented language

Язык (логических) выводов