TypedProlog

<language> A strongly typed logic programming language.

Last updated: 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