Anonymous user
Proof: Difference between revisions
m
→{{header|Tcl}}: Show the output
(→{{header|Tcl}}: Slightly clearer version) |
m (→{{header|Tcl}}: Show the output) |
||
Line 160:
puts "\tevenOdd \[[list add $a $b]\] = [evenOdd [add $a $b]]"
}</lang>
Output:
<pre>BASE CASE
evenOdd Zero = Even
evenOdd [add Zero Zero] = Even
ITERATIVE CASE
if evenOdd p = Even...
evenOdd [Succ [Succ p]] = Even
if evenOdd [add p q] = Even...
evenOdd [add p q] = Even
evenOdd [add {Succ {Succ p}} q] = Even
evenOdd [add p {Succ {Succ q}}] = Even
evenOdd [add {Succ {Succ p}} {Succ {Succ q}}] = Even</pre>
It is up to the caller to take the output of this program and interpret it as a proof.
| |||