6 lines
171 B
Text
6 lines
171 B
Text
| ?- partial_functions::show.
|
|
[0,1,2,3] -> fs(f1) -> [0,2,4,6]
|
|
[0,1,2,3] -> fs(f2) -> [0,1,4,9]
|
|
[2,4,6,8] -> fs(f1) -> [4,8,12,16]
|
|
[2,4,6,8] -> fs(f2) -> [4,16,36,64]
|
|
yes
|