You are here: irt.org | FOLDOC | TypedProlog
<language> A strongly typed logic programming language.
(1995-03-25)
Nearby terms: type assignment « type class « typed lambda-calculus « TypedProlog » typeface » type inference » type scheme
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL