дедуктивные рассуждения, дедуктивный вывод метод, используемый в языке Prolog для нахождения решения по заданным фактам и правилам
DEDUCTIVE REASONING
Англо-русский перевод DEDUCTIVE REASONING
Пройдаков Э.М., Теплицкий Л.А.. English-Russian explanatory dictionary of terms and abbreviations of computer engineering, Internet and programming. Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. 1998-2004