TypedProlog

<language> A strongly typed logic programming language.



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