task

dd_at_conus.info
Date: 03/08/05 

Date: 8 Mar 2005 12:45:04 -0800

Hello all.

Could you please answer, is prolog able to solve such sort of task.
For the instance, we have blackbox-function and list of some in/out
values:
f(1)=1234
f(2)=4567
f(3)=5511
etc
We sure that f(x) is not complex, it has the following structure:
f(x)=x(operator1)C1(operator2)C2, where C1 and C2 some unknown
constants and operator1/2 are one of four +,-,*,/.
Are we able to write facts/rules set to determine, which operators and
constans are suitable to the list in above?