hanoi


Vocabulary
logic.examples.hanoi

Inputs
None

Outputs
valuean object


Variable value
Current value in global namespace:
T{ logic-pred f "hanoi" ~vector~ }


Definition
IN: logic.examples.hanoi

SYMBOL: hanoi inline