TypedProlog

<language> A strongly typed logic programming language.

(1995-03-25)

Try this search on Wikipedia, OneLook, Google

Nearby terms: type assignment « type class « typed lambda-calculus « TypedProlog » typeface » type inference » type scheme