QA4
1 program
Added 2026-03-13T05:57:36Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: QA-4
Provenance: commit d2a3873875 · authored 2026-03-13T06:58:08+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
2 sources · pl_id:
pl/qa4Related languages
LLM-contributed programs
Blocks World Planning
Provenance: commit d2a3873875 · authored 2026-03-13T06:58:08+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
;; QA4 Blocks World Example
;; Based on: "QA4: A Procedural Calculus for Intuitive Reasoning"
;; Rulifson, Derksen, Waldinger, SRI Technical Note 73 (1973)
; Define the initial state of blocks world
(ASSERT (ON A TABLE))
(ASSERT (ON B TABLE))
(ASSERT (ON C A))
(ASSERT (CLEAR C))
(ASSERT (CLEAR B))
; Operator: Put block X on top of block Y
(CONSEQUENT PUTON (X Y)
(PREREQUISITES
((CLEAR X))
((ACHIEVE (CLEAR Y))))
(DELETIONS
((ON X (? W)))
((CLEAR Y)))
(ADDITIONS
((ON X Y))
((CLEAR (? W)))))
; Goal: Achieve a specific configuration
(GOAL (ACHIEVE (ON A B)))
(GOAL (ACHIEVE (ON B C)))
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.)