TypedProlog

A strongly typed logic programming language.