TYPEDPROLOG Meaning of TYPEDPROLOG in English < language > A strongly typed logic programming language. (1995-03-25) FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012