Modeling Functions

buy_call_payoff(S,C,E,P) :-

0 <= S, S <= E/100, P = -C.

buy_call_payoff(S,C,E,P) :-

S >= E/100, P = 100*S - E - C.

Model a function with n arguments as a predicate with n+1 arguments. Tests are constraints, and result is an equation

Previous slide

Next slide

Back to first slide

View graphic version