;;
;; Unit 1: Count Model
;; from the CMU ACT-R Tutorials
;;

(set-task "actr.tasks.tutorial.U1Count")

(sgp :esc t :lf .05) ;; :trace-detail high)

(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)
    (g ISA count-order first 6 second 7)
    (h ISA count-order first 7 second 8)
    (i ISA count-order first 8 second 9)
    (first-goal ISA addition n1 2 n2 4)
)

(p start
    =goal>
        ISA         addition
        n1       =num1
        count       nil
==>
    =goal>
        count       =num1
		count2      1
		phase       add
    +retrieval>
        ISA         count-order
        first       =num1
)

(p increment-add
    =goal>
        ISA         addition
        count       =num1
		count2      =num3 
		phase		add
    =retrieval>
        ISA         count-order
        first       =num1
        second      =num2
==>
    =goal>
        count       =num2 
		phase 		add2
    +retrieval>
        ISA         count-order
        first       =num3
)


(p increment-add2
    =goal>
        ISA         addition
        count       =num1
		count2      =num3 
		phase		add2
    =retrieval>
        ISA         count-order
        first       =num3
        second      =num2
==>
    =goal>
        count2       =num2 
		phase 		add
    +retrieval>
        ISA         count-order
        first       =num1
)

(p stop
    =goal>
        ISA         addition
		count		=sum
        count2       =num
        n2           =num
		phase		add2
==>
    -goal>
    !output!       (=sum)
)

(goal-focus first-goal)