Problem Statement

Create a simple demonstrative example of Currying in a specific language.
Add any historic details as to how the feature made its way into the language.

Let's start with the solution:

| ?- logtalk << call([Z]>>(call([X,Y]>>(Y is X*X), 5, R), Z is R*R), T).
T = 625
yes