welcome: please sign in
location: attachment:hanoi.input.txt of EncodingsExamples

Attachment 'hanoi.input.txt'

Download

   1 steps(3).
   2 time(0). time(1). time(2). time(3).
   3 disk(1). disk(2). disk(3). disk(4). disk(5). disk(6).
   4 on0(1,4). on0(2,5). on0(5,6).
   5 ongoal(3,4). ongoal(4,5). ongoal(1,6).

Attached Files

You are not allowed to attach a file to this page.