# test with translation from prolog to n3
# see if a resource is an element of a list
# advantage of N3: not sequence dependent!!!! i.e.
# more declarative

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <http://test#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.



{?y rdf:first ?L. ?x :eq ?y} log:implies {?x :element ?L.}.

{?x :element ?ys.?ys rdf:rest ?L.} log:implies {?x :element ?L}.
{?x :eq ?x}. 

:a rdf:first :L.
:x rdf:rest :L.
:b rdf:first :x.
rdf:nil rdf:rest :x.