# --------------
# Crypto example
# --------------

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix var: <http://www.w3.org/2000/10/swap/var#>.
@prefix : <http://example.org/#>.

:Let :param "hello world".

# query
_:bng_1 log:impliesAnswer _:bng_2.

_:bng_1 {
    :Let :param var:X.
    var:X crypto:sha512 var:Y.
}

_:bng_2 {
    var:X :sha512 var:Y.
}
