Talk:Symbolic Logic:Programming: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)