# $Id: builtins.n3,v 1.20 2003/09/29 23:24:22 jderoo Exp $

# PxButton | test  | java Euler --nope builtins |
# PxButton | test# | Euler --nope builtins |

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <builtins#>.

("a" "b" "c") str:concatenation _:X.
("a" "b" "c") str:concatenation "abc".
"xyz" str:equalIgnoringCase "XYZ".
"xyz" str:notEqualIgnoringCase "ABC".
"xyz" str:greaterThan "abc".
"abc" str:notGreaterThan "xyz".
"abc" str:lessThan "xyz".
"xyz" str:notLessThan "abc".
"xyz" str:notLessThan "xyz".
"abc" str:startsWith "ab".
"abc" str:endsWith "bc".
"abc" str:endsWith _:X.
"abcXYZ" str:contains "cX".
"abcXYZ" str:containsIgnoringCase "Cx".

(1.2 2.3 3.5) math:sum  _:Y.
(_:Y 1) math:difference _:Z.
(1 2 3) math:product  _:U.
(_:U 3) math:quotient _:V.
(7 3) math:quotient _:A.
(7 3) math:integerQuotient _:B.
(_:Z _:V) math:remainder _:W.
(7 3) math:remainder _:C.
-5 math:negation _:I.
-5.1 math:absoluteValue _:D.
-5.7 math:rounded _:E.
(2 10) math:exponentiation _:J.
("a" ("b" "c") "d") math:memberCount _:K.
_:U math:greaterThan _:V.
_:V math:notGreaterThan _:U.
_:V math:lessThan _:U.
_:U math:notLessThan _:V.
_:U math:equalTo _:U.
_:V math:notEqualTo _:U.

:x log:equalTo :x.
:x log:notEqualTo :y.
{:a :b :c. :d :e :f. :g :h :i} log:includes {:d :e :f}.
{:a :b :c. :d :e :f. :g :h :i} log:notIncludes {:d :x :f}.