TypedProlog




<language> A strongly typed logic programming language.



< Previous Terms Terms Containing TypedProlog Next Terms >
type-ahead
type-ahead search
type assignment
type class
typed lambda-calculus
 typeface
type inference
type scheme
typo
typographical error