ACT-R
1 program
Added 2026-03-12T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Adaptive Control of Thought-Rational, ACT-R/PM
Provenance: commit d81b881f38 · authored 2026-03-12T10:39:47+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Counting Model (Tutorial Unit 1)
Provenance: commit d81b881f38 · authored 2026-03-12T10:39:47+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
(clear-all)
(define-model count
(sgp :v t)
(chunk-type count-order first second)
(chunk-type count-from start end count)
(add-dm
(b isa count-order first 1 second 2)
(c isa count-order first 2 second 3)
(d isa count-order first 3 second 4)
(e isa count-order first 4 second 5)
(f isa count-order first 5 second 6)
(first-goal isa count-from start 2 end 4))
(goal-focus first-goal)
(p start
=goal>
isa count-from
start =num1
count nil
==>
=goal>
count =num1
+retrieval>
isa count-order
first =num1)
(p increment
=goal>
isa count-from
count =num1
=retrieval>
isa count-order
first =num1
second =num2
==>
=goal>
count =num2
+retrieval>
isa count-order
first =num2)
(p stop
=goal>
isa count-from
end =num
count =num
==>
-goal>))