<> <#rcsid> "$Id: testbuiltins.n3,v 1.10 2007/09/02 21:45:03 amdus Exp $". # PxButton | cwm | bash .cwm testdata.n3 --think --filter=testbuiltins.n3 # PxButton | euler | bash .euler5 http://localhost/.euler+--prolog+--nope+euler/testdata.n3+--query+euler/testbuiltins.n3 @prefix math: . @prefix list: . @prefix str: . @prefix time: . @prefix xsd: . @prefix fn: . @prefix log: . @prefix m: . @prefix rpo: . @prefix e: . @prefix : . {{:b :a :c. :e :d :f. :h :g :i. :k :j :l} log:includes {:k :j :l. ?X :d ?Z}} => {log:includes :test :ok}. {:ng1 :namedGraph ?F. ?F log:includes {:k :j :l. ?X :d ?Y}} => {log:includes :test :ok1}. { log:semantics ?F. ?F log:includes {m:aspirinHighDose m:excludedFor m:AllergyForAspirin}} => {log:includes :test :ok2}. {{:b :a :c. :e :d :f. :h :g :i} log:notIncludes {:e :d :f. :b :e :c}} => {log:notIncludes :test :ok}. {:ng2 :namedGraph ?F. ?F log:notIncludes {:e :d :f. :b :e :c}} => {log:notIncludes :test :ok1}. { log:semantics ?F. ?F log:notIncludes {m:aspirinLowDose m:excludedFor m:SevereAsthma}} => {log:notIncludes :test :ok2}. {7 math:notLessThan 5} => {math:notLessThan :test :ok}. {(1 1) math:sum 2} => {math:sum :test :ok}. {("eul" "er") str:concatenation "euler"} => {str:concatenation :test :ok}. {?X = "Tim". ?Y = "IM". ?X str:containsIgnoringCase ?Y} => {str:containsIgnoringCase :test :ok}. {"euler" str:startsWith "eu"} => {str:startsWith :test :ok}. {(:a :b :c) list:first :a} => {list:first :test :ok}. {(:a :b :c) list:rest (:b :c)} => {list:rest :test :ok}. {(:a :b :c) list:last :c} => {list:last :test :ok}. {:b list:in (:a :b :c)} => {list:in :test :ok}. {(:a :b :c :d) list:member :c} => {list:member :test :ok}. {((:a :b :c) (:d :e)) list:append (:a :b :c :d :e)} => {list:append :test :ok}. {(?X ?Y) list:append (:a :b :c :d :e)} => {list:append :test (?X ?Y)}. { log:uri ?X} => {log:uri :test ?X}. {:betaBlocker log:uri ?X} => {log:uri :test ?X}. {?X log:uri "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"} => {log:uri :test ?X}. {("2000/10/swap/" "http://www.w3.org/") fn:resolve-uri ?X} => {fn:resolve-uri :test ?X}. {?A :p ?B; :p ?C. (?B ?C) log:conjunction ?D} => {log:conjunction :test ?D}. {"2006-12-14"^^xsd:date time:year ?Y} => {time:year :test ?Y}. {"2006-12-14"^^xsd:date time:month ?Y} => {time:month :test ?Y}. {"2006-12-14"^^xsd:date time:day ?Y} => {time:day :test ?Y}. {((8 :d) (5 :a) (6 :b) (7 :a) (9 :d) (4 :d)) e:length ?X} => {e:length :test ?X}. {((8 :d) (5 :a) (6 :b) (7 :a) (9 :d) (4 :d)) e:sort ?X} => {e:sort :test ?X}. {((4 :d) (5 :a) (6 :b) (7 :a) (8 :d) (9 :d)) e:reverse ?X} => {e:reverse :test ?X}. {(((9 :d) (8 :d) (7 :a) (6 :b) (5 :a) (4 :d)) (?U ?A)(?V ?A)) e:prune ?X} => {e:prune :test ?X}. {(2 ?X) math:exponentiation 8.0. (4.0 ?X) math:product ?Y} => {?X :test ?Y}.