(COMMENT generates a multiplication table with numbers in [1..10])
(VAR x y)
(RULES
 table -> gen(s(0))

 gen(x) -> if1(le(x,10),x)
 if1(false,x) -> nil
 if1(true,x) -> if2(x,x)
 if2(x,y) -> if3(le(y,10),x,y)
 if3(true,x,y) -> cons(entry(x,y,times(x,y)),if2(x,s(y)))
 if3(false,x,y) -> gen(s(x))

 le(0,y) -> true
 le(s(x),0) -> false
 le(s(x),s(y)) -> le(x,y)

 plus(0,y) -> y
 plus(s(x),y) -> s(plus(x,y))
 times(0,y) -> 0
 times(s(x),y) -> plus(y,times(x,y))

 10 -> s(s(s(s(s(s(s(s(s(s(0))))))))))
)