PLANNER_programming_language PLANNER_programming_language

PLANNER programming language - Definition and Overview

PLANNER was to be a programming language for writing theorem provers. Developed by Carl Hewitt at MIT from 1967, it was 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

Reference

  • "PLANNER: A Language for Proving Theorems in Robots", Carl Hewitt, Proc IJCAI-69, Wash DC, May 1969

This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.

Example Usage of programming
mcjim: RT @siliconmeadow: My pair programming plan: I scowl at my code. If after scowling it still doesn't work, my colleague verbally abuses it.
mithun12000: #scriptlance I was paid $75.00 for Joomla - SOBI2 programming. http://scriptlance.com/projects/1260332839.shtml?ref=softechblr
infil00p: RT @KathySierra: Whenever 'women in tech' comes up, I'm reminded why I *like* programming: the compiler doesn't care if the coder wears ...
Copyright 2009 WordIQ.com - Privacy Policy  :: Terms of Use  :: Contact Us  :: About Us
This article is licensed under the GNU Free Documentation License. It uses material from the this Wikipedia article.