Allprog

⏺

Unification — объединение

⏺

Reason — причина

⏺

Deduction — вычет, вывод

⏺

To solve — решать, разрешать

⏺

To infer — делать вывод, заключать