VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
A language for writing
theorem prover
s by
Carl Hewitt
[email protected]
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].