Attempts to introduce types date back to the 1980s, and as of 2008 there are still attempts to extend Prolog with types.
Pokusy o přidání typů se datují zpět do 80. let 20. století, a do roku 2008 stále existují pokusy rozšířit Prolog o typy.