Curry: An Integrated Functional Logic Language
Curry: An Integrated Functional Logic Language
Curry: An Integrated Functional Logic Language
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
We start the account and client process with an initial amount of 100:<br />
make_account s & client (sendMsg (Deposit 100) s)<br />
A <strong>Curry</strong> system evaluates this goal by a concurrent evaluation of both processes and computes the<br />
final answer<br />
{s=[Deposit 100, Balance 100, Withdraw 30, Balance 70, Withdraw 30,<br />
Balance 40, Deposit 70, Balance 110, Withdraw 30, Balance 80,<br />
Withdraw 30, Balance 50]}<br />
which shows the different messages sent to the account process.<br />
45