Talk:Symbolic Logic:Programming:Function to Fact Transformation
From Knowino
(Redirected from Talk:Function to Fact Transformation)
The esential ideal is that a function is a relationship between the parameters and the result, and that all the parameters and the result should all be regarded in the same way.
A call to a function should then always constrain the unknown values based on the known values.
I have tried to make this as exact as I can by describing the transformation of functions so that the return value is one of the parameters. Thepigdog 08:43, 6 September 2011 (EDT)