TypedProlog

TypedProlog

(language)A strongly typed logic programming language.