English Computing Dictionary
◊ TYPEDPROLOG
TypedProlog
A {strongly typed} {logic programming} language.
(1995-03-25)