You are here: irt.org | FOLDOC | PLANNER
A language for writing theorem provers by Carl Hewitt <hewitt@ai.mit.edu> MIT 1967. Never fully implemented.
CONNIVER was an outgrowth of PLANNER and microPLANNER a subset. PLASMA is a PLANNER-like system modelled on Actors. See also POPLER, QLISP, Scheme.
["PLANNER: A Language for Proving Theorems in Robots", Carl Hewitt, Proc IJCAI-69, Wash DC, May 1969].
Nearby terms: plan file « PLANIT « Plankalkül « PLANNER » Planner-73 » PLANS » plants
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