Your American History Reference Guide!
- PLANNER

HistoryMania Information Site on PLANNER American History

American History Search American History Browse

welcome to our free resource site for all enthusiasts!

<a href="http://c.casalemedia.com/c?s=64302&f=2&id=0" target="_blank"><img src="http://as.casalemedia.com/s?s=64302&u=http%3A%2F%2Fhistorymania.com&f=2&id=0&if=0" width="728" height="90" border="0"/></a>

	Categories: Domain-specific programming languages \| Theorem prover languages PLANNER 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 Categories: Domain-specific programming languages \| Theorem prover languages Last updated: 08-30-2005 09:36:04

The contents of this article are licensed from Wikipedia.org under the
GNU Free Documentation License. How to see transparent copy

Search | Browse | Contact | Legal info