Използване на типовият извод в Хаскел за намиране на най-общ тип за термове.
Алгоритъм за извод на най-общ тип на даден терм на Пролог.