PLANNER
Also found in: Dictionary, Thesaurus, Medical, Legal, Acronyms, Idioms, Wikipedia.
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].
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].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Planner
The person and/or professional in architecture or interior design that deals with the layout, design, and furnishings of spaces within a proposed or existing structure, according to the requirements of the client.
Illustrated Dictionary of Architecture Copyright © 2012, 2002, 1998 by The McGraw-Hill Companies, Inc. All rights reserved