>>668
違います。

PLANNER　A Language for Proving Theorems
by Carl Hewitt (1967)
ttp://dspace.mit.edu/bitstream/1721.1/6144/2/AIM-137.pdf

MICRO-PLANNER REFERENCE MANUAL
by Gerald Jay Sussman and Terry Winograd (1970)
ttp://dspace.mit.edu/bitstream/1721.1/5833/2/AIM-203.pdf

Gerald Jay Sussman と Terry Winograd によるPlanner のサブセット
Micro-Planner は、当時主流であった論理的アプローチとは異なる手法を提案しました。
論理的アプローチ派の Robert Kowalski は Alain Colmerauer と共同で
Micro-Planner によく似た Prolog を開発しました。
不幸なことにMicro-Plannerはバックトラッキングの扱いにくさを証明しましたが、
制御構造に関する議論を活性化しました。
このころ、Peter Landin は J (Jump) 演算子を使って非常に強力な制御構造
を導入しました。