RosettaCodeData/Task/Currying/Logtalk/currying.logtalk
2023-07-01 13:44:08 -04:00

3 lines
85 B
Text

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