Sample Robi Run

Sample Robi Run - 2

Alg-3-A

#<OUTPUT BUFFERED FILE-STREAM CHARACTER #P"run2" @1>

[2]> (load "l.cl")

;; Loading file l.cl ...

;; Loading file envt.cl ...

;; Loading of file envt.cl is finished.

;; Loading file robi.cl ...

;; Loading of file robi.cl is finished.

;; Loading of file l.cl is finished.

[3]> (trace moverobi)

;; Tracing function MOVEROBI.

(MOVEROBI)

[4]> (run)

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (8 (T NIL T T))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (4 (NIL NIL T T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (3 (NIL T T T))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (4 (NIL NIL T T))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (8 (T NIL T T))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (4 (NIL NIL T T))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (8 (T NIL T T))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (13 (T NIL NIL T))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (8 (T NIL T T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (7 (T T T NIL))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (8 (T NIL T T))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (13 (T NIL NIL T))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (8 (T NIL T T))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (13 (T NIL NIL T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (12 (T T NIL T))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (13 (T NIL NIL T))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (12 (T T NIL T))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (10 (T NIL T T))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (12 (T T NIL T))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (13 (T NIL NIL T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (12 (T T NIL T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (11 (T T NIL NIL))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (12 (T T NIL T))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (10 (T NIL T T))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (7 (T T T NIL))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (10 (T NIL T T))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (12 (T T NIL T))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (10 (T NIL T T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (9 (T T T NIL))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (10 (T NIL T T))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (7 (T T T NIL))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (3 (NIL T T T))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (7 (T T T NIL))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (8 (T NIL T T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (7 (T T T NIL))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (10 (T NIL T T))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (7 (T T T NIL))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (3 (NIL T T T))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (4 (NIL NIL T T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (3 (NIL T T T))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (7 (T T T NIL))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (3 (NIL T T T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (2 (NIL T T T))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (3 (NIL T T T))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (2 (NIL T T T))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (3 (NIL T T T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (2 (NIL T T T))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (6 (T NIL NIL T))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (2 (NIL T T T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (1 (NIL T T NIL))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (2 (NIL T T T))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (6 (T NIL NIL T))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (2 (NIL T T T))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (6 (T NIL NIL T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (5 (T T T NIL))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (6 (T NIL NIL T))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (5 (T T T NIL))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (1 (NIL T T NIL))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (5 (T T T NIL))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (6 (T NIL NIL T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (5 (T T T NIL))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (9 (T T T NIL))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (5 (T T T NIL))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (1 (NIL T T NIL))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (2 (NIL T T T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (1 (NIL T T NIL))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (5 (T T T NIL))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (1 (NIL T T NIL))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (5 (T T T NIL))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (9 (T T T NIL))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (5 (T T T NIL))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (9 (T T T NIL))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (10 (T NIL T T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (9 (T T T NIL))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (11 (T T NIL NIL))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (9 (T T T NIL))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (11 (T T NIL NIL))

1. Trace: (MOVEROBI '0)

1. Trace: MOVEROBI ==> (9 (T T T NIL))

1. Trace: (MOVEROBI '2)

1. Trace: MOVEROBI ==> (11 (T T NIL NIL))

1. Trace: (MOVEROBI '1)

1. Trace: MOVEROBI ==> (12 (T T NIL T))

1. Trace: (MOVEROBI '3)

1. Trace: MOVEROBI ==> (11 (T T NIL NIL))

1. Trace: (MOVEROBI '4)

1. Trace: MOVEROBI ==> NIL

((5 (1 6 9 NIL)) (1 (NIL 2 5 NIL)) (6 (2 NIL NIL 5)) (2 (NIL 3 6 1))

(9 (5 10 11 NIL)) (11 (9 12 NIL NIL)) (10 (7 NIL 12 9)) (12 (10 13 NIL 11))

(7 (3 8 10 NIL)) (13 (8 NIL NIL 12)) (3 (NIL 4 7 2)) (8 (4 NIL 13 7))

(4 (NIL NIL 8 3)))

[5]> (dribble)