1 ! Copyright (C) 2019-2020 KUSUMOTO Norio.
2 ! See http://factorcode.org/license.txt for BSD license.
3 USING: assocs logic math ;
4 IN: logic.examples.hanoi
6 LOGIC-PREDS: hanoi moveo informo ;
7 LOGIC-VARS: A B C M N X Y ;
8 SYMBOLS: left center right ;
10 { hanoi N } { moveo N left center right } rule
12 { moveo 0 __ __ __ } !! rule
22 { writeo { "move disk from " X " to " Y } } { nlo }