Attempts to introduce types date back to the 1980s, and as of 2008 there are still attempts to extend Prolog with types.
Спроби запровадити типи сходять до 1980-х років, і станом на 2008 рік все ще існують спроби розширити Пролог типами.