LEAF: A Language witch Integrates Logic, Equations and Functions.