From: <jm...@us...> - 2010-03-26 14:23:56
|
Revision: 1358 http://eulergui.svn.sourceforge.net/eulergui/?rev=1358&view=rev Author: jmvanel Date: 2010-03-26 14:23:49 +0000 (Fri, 26 Mar 2010) Log Message: ----------- add N3 examples: clone-rdf-list-forward Added Paths: ----------- trunk/eulergui/examples/clone-rdf-list-forward.n3 trunk/eulergui/examples/clone-rdf-list-forward2.n3 Added: trunk/eulergui/examples/clone-rdf-list-forward.n3 =================================================================== --- trunk/eulergui/examples/clone-rdf-list-forward.n3 (rev 0) +++ trunk/eulergui/examples/clone-rdf-list-forward.n3 2010-03-26 14:23:49 UTC (rev 1358) @@ -0,0 +1,24 @@ +@prefix : <http://jmv.fr#>. +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. + +# clone an RDF list by a forward recursion - design pattern + +:l0 rdf:first :v0 ; + rdf:rest :l1 . +:l1 rdf:first :v1 ; + rdf:rest :l2 . +:l2 rdf:first :v2 ; + rdf:rest rdf:nil . + +# initial condition +:l0c :clone_of :l0 . + +{ + ?L rdf:first ?F . + ?L rdf:rest ?R . + ?LC :clone_of ?L . +} => { + ?LC :first ?F . + ?LC :rest ?RC . + ?RC :clone_of ?R . +} . Added: trunk/eulergui/examples/clone-rdf-list-forward2.n3 =================================================================== --- trunk/eulergui/examples/clone-rdf-list-forward2.n3 (rev 0) +++ trunk/eulergui/examples/clone-rdf-list-forward2.n3 2010-03-26 14:23:49 UTC (rev 1358) @@ -0,0 +1,18 @@ +@prefix : <http://jmv.fr#>. +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. + +# clone a list by a forward recursion - design pattern + +# initial condition +:l0c :clone_of (:v0 :v1 :v2) . +# not needed anymore since Euler Revision 3350: (:v0 :v1 :v2) a rdf:List . + +{ + ?L rdf:first ?F . + ?L rdf:rest ?R . + ?LC :clone_of ?L . +} => { + ?LC :first ?F . + ?LC :rest ?RC . + ?RC :clone_of ?R . +} . This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |