2020-03-01 04:19:07 -05:00
|
|
|
! Copyright (C) 2019-2020 KUSUMOTO Norio.
|
|
|
|
|
! See http://factorcode.org/license.txt for BSD license.
|
2020-03-03 07:04:46 -05:00
|
|
|
USING: logic lists sequences assocs formatting ;
|
|
|
|
|
IN: logic.examples.hanoi2
|
2020-03-01 04:19:07 -05:00
|
|
|
|
|
|
|
|
LOGIC-PREDS: hanoi write-move ;
|
|
|
|
|
LOGIC-VARS: A B C X Y Z ;
|
|
|
|
|
|
|
|
|
|
{ write-move X } [ X of [ printf ] each t ] callback
|
|
|
|
|
|
|
|
|
|
{ hanoi L{ } A B C } fact
|
|
|
|
|
|
|
|
|
|
{ hanoi L{ X . Y } A B C } {
|
|
|
|
|
{ hanoi Y A C B }
|
|
|
|
|
{ write-move { "move " X " from " A " to " B "\n" } }
|
|
|
|
|
{ hanoi Y C B A }
|
|
|
|
|
} rule
|
