You are here: irt.org | FOLDOC | TEMPLOG
Extension of Prolog to handle a clausal subset of first-order temporal logic with discrete time. Proposed by M. Abadi and Z. Manna of Stanford University.
["Temporal Logic in Programming", M. Abadi et al, INtl Symp Logic Prog pp.4-16 (1987)].
Nearby terms: template « template code « template wizard « TEMPLOG » TEMPO » Tempo » temporal database
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