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

@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
[ log:graph (
    [ log:triple (:Let :param var:X)]
    [ log:triple (var:X crypto:md5 var:md5)]
    [ log:triple (var:X crypto:sha var:sha)]
    [ log:triple (var:X crypto:sha256 var:sha226)]
    [ log:triple (var:X crypto:sha512 var:sha512)]
)] log:impliesAnswer [ log:graph (
    [ log:triple (var:Y :subject var:X)]
    [ log:triple (var:Y crypto:md5 var:md5)]
    [ log:triple (var:Y crypto:sha var:sha)]
    [ log:triple (var:Y crypto:sha256 var:sha226)]
    [ log:triple (var:Y crypto:sha512 var:sha512)]
)].
