From 986915e6c6ee455cd0592aefb770c86e75d24e64 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Thu, 10 Mar 2022 21:07:58 +0900 Subject: Create hanoi.in --- sample/hanoi.in | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 sample/hanoi.in diff --git a/sample/hanoi.in b/sample/hanoi.in new file mode 100644 index 0000000..e0b7098 --- /dev/null +++ b/sample/hanoi.in @@ -0,0 +1,39 @@ +// Tower of Hanoi Puzzle + +// Rules +hanoi(return, source, target, auxiliary) >< (int n) +| n==0 => return~[], Eps~source, Eps~target, Eps~auxiliary +| _ => source ~ dup(src1, dup(src2, src3)), + target ~ dup(tgt1, dup(tgt2, tgt3)), + auxiliary ~ dup(aux1, aux2), + hanoi(ret1, src1, aux1, tgt1)~(n-1), + hanoi(ret2, aux2, tgt2, src2)~(n-1), + return << Append(ret1, (n,src3,tgt3):ret2); + +dup(a,b)> a~A, b~A; +dup(a,b)> a~B, b~B; +dup(a,b)> a~C, b~C; +Eps>; +Eps>; +Eps>; + + +// Net +hanoi(result, A, C, B) ~ 3; +result; // should be [(1,A,C),(2,A,B),(1,C,B),(3,A,C),(1,B,A),(2,B,C),(1,A,C)] + + +// These are also written using abbreviation as follows: +// hanoi(return, source, target, auxiliary) >< (int n) +// | n==0 => return~[], << Eps(source), << Eps(target), << Eps(auxiliary) +// | _ => src1, dup(src2, src3) << dup(source), +// tgt1, dup(tgt2, tgt3) << dup(target), +// aux1, aux2 << dup(auxiliary), +// ret1 << hanoi(src1, aux1, tgt1, n-1), +// ret2 << hanoi(aux2, tgt2, src2, n-1), +// return << Append(ret1, (n,src3,tgt3):ret2); +// +// result << hanoi(A, C, B, 3); +// result; + + -- cgit v1.2.3