Micro-Planner
1 program
Added 2026-03-06T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: MicroPlanner, uPlanner
Provenance: commit fe52f0d2a8 · authored 2026-03-06T10:19:29+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
2 sources · pl_id:
pl/microplannerRelated languages
LLM-contributed programs
Blocks World Reasoning
Provenance: commit fe52f0d2a8 · authored 2026-03-06T10:19:29+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
;;; Micro-Planner blocks world example
;;; From: Sussman, Winograd, Charniak - Micro-planner Reference Manual, AIM-203 (1970)
;;; Assert initial state
(THASSERT (ON A B))
(THASSERT (ON B TABLE))
(THASSERT (ON C TABLE))
(THASSERT (CLEARTOP A))
(THASSERT (CLEARTOP C))
;;; Antecedent theorem: whenever X is placed ON Y, assert Y SUPPORTS X
(THANTE (#:X #:Y) (ON #:X #:Y)
(THASSERT (SUPPORTS #:Y #:X)))
;;; Consequent theorem: ABOVE(X,Y) holds if X is directly ON Y,
;;; or X is ON some Z that is ABOVE Y
(THCONSE (#:X #:Y) (ABOVE #:X #:Y)
(THOR
(THGOAL (ON #:X #:Y))
(THAND
(THGOAL (ON #:X #:Z))
(THGOAL (ABOVE #:Z #:Y)))))
;;; Query: is A above TABLE?
(THGOAL (ABOVE A TABLE))
Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)