18 lines
457 B
Factor
18 lines
457 B
Factor
|
! Copyright (C) 2019-2020 KUSUMOTO Norio.
|
||
|
|
! See http://factorcode.org/license.txt for BSD license.
|
||
|
|
USING: factlog lists sequences assocs formatting ;
|
||
|
|
IN: factlog.examples.hanoi2
|
||
|
|
|
||
|
|
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
|