RosettaCodeData/Task/Currying/Logtalk/currying.logtalk

4 lines
85 B
Plaintext

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