eye-builtins.n3

### EYE Built-ins -- Jos De Roo
###
### see http://eulersharp.sourceforge.net/2003/03swap/log-rules.n3
###     http://www.w3.org/2000/10/swap/doc/CwmBuiltins
###     http://www.w3.org/TR/rif-dtb/

@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix crypto: <http://www.w3.org/2000/10/swap/crypto#>.
@prefix graph: <http://www.w3.org/2000/10/swap/graph#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix string: <http://www.w3.org/2000/10/swap/string#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix func: <http://www.w3.org/2007/rif-builtin-function#>.
@prefix pred: <http://www.w3.org/2007/rif-builtin-predicate#>.

### Logic Framework Extension Built-ins

e:avg a e:Builtin.
e:becomes a e:Builtin.
e:before a e:Builtin.
e:biconditional a e:Builtin.
e:binaryEntropy a e:Builtin.
e:calculate a e:Builtin.
e:call a e:Builtin.
e:cartesianProduct a e:Builtin.
e:closure a e:Builtin.
e:compoundTerm a e:Builtin.
e:cov a e:Builtin.
e:csvTuple a e:Builtin.
e:derive a e:Builtin.
e:exec a e:Builtin.
e:fail a e:Builtin.
e:fileString a e:Builtin.
e:finalize a e:Builtin.
e:findall a e:Builtin.
e:firstRest a e:Builtin.
e:format a e:Builtin.
e:graphCopy a e:Builtin.
e:graphDifference a e:Builtin.
e:graphIntersection a e:Builtin.
e:graphList a e:Builtin.
e:graphMember a e:Builtin.
e:graphPair a e:Builtin.
e:hmac-sha a e:Builtin.
e:ignore a e:Builtin.
e:label a e:Builtin.
e:labelvars a e:Builtin.
e:length a e:Builtin.
e:match a e:Builtin.
e:max a e:Builtin.
e:min a e:Builtin.
e:multisetEqualTo a e:Builtin.
e:multisetNotEqualTo a e:Builtin.
e:notLabel a e:Builtin.
e:numeral a e:Builtin.
e:optional a e:Builtin.
e:pcc a e:Builtin.
e:prefix a e:Builtin.
e:propertyChainExtension a e:Builtin.
e:qual a e:Builtin.
e:random a e:Builtin.
e:relabel a e:Builtin.
e:reverse a e:Builtin.
e:rms a e:Builtin.
e:roc a e:Builtin.
e:sha a e:Builtin.
e:sigmoid a e:Builtin.
e:skolem a e:Builtin.
e:sort a e:Builtin.
e:std a e:Builtin.
e:stringEscape a e:Builtin.
e:stringReverse a e:Builtin.
e:stringSplit a e:Builtin.
e:subsequence a e:Builtin.
e:trace a e:Builtin.
e:transaction a e:Builtin.
e:transpose a e:Builtin.
e:tripleList a e:Builtin.
e:tuple a e:Builtin.
e:unique a e:Builtin.
e:whenGround a e:Builtin.
e:wwwFormEncode a e:Builtin.


### Crypto Built-ins

crypto:md5 a e:Builtin.
crypto:sha a e:Builtin.
crypto:sha256 a e:Builtin.
crypto:sha512 a e:Builtin.

### Graph Built-ins

graph:difference a e:Builtin.
graph:intersection a e:Builtin.
graph:length a e:Builtin.
graph:list a e:Builtin.
graph:member a e:Builtin.
graph:renameBlanks a e:Builtin.
graph:statement a e:Builtin.
graph:union a e:Builtin.

### List Built-ins

list:append a e:Builtin.
list:first a e:Builtin.
list:firstRest a e:Builtin.
list:in a e:Builtin.
list:intersection a e:Builtin.
list:isList a e:Builtin.
list:iterate a e:Builtin.
list:last a e:Builtin.
list:length a e:Builtin.
list:map a e:Builtin.
list:member a e:Builtin.
list:memberAt a e:Builtin.
list:multisetEqualTo a e:Builtin.
list:multisetNotEqualTo a e:Builtin.
list:notMember a e:Builtin.
list:permutation a e:Builtin.
list:remove a e:Builtin.
list:removeAt a e:Builtin.
list:removeDuplicates a e:Builtin.
list:rest a e:Builtin.
list:reverse a e:Builtin.
list:select a e:Builtin.
list:setEqualTo a e:Builtin.
list:setNotEqualTo a e:Builtin.
list:sort a e:Builtin.
list:unique a e:Builtin.

### Logic Framework Built-ins

log:ask a e:Builtin.
log:becomes a e:Builtin.
log:bound a e:Builtin.
log:call a e:Builtin.
log:callNotBind a e:Builtin.
log:callWithCleanup a e:Builtin.
log:callWithCut a e:Builtin.
log:callWithDisjunction a e:Builtin.
log:callWithOptional a e:Builtin.
log:collectAllIn a e:Builtin.
log:conclusion a e:Builtin.
log:conjunction a e:Builtin.
log:content a e:Builtin.
log:copy a e:Builtin.
log:core a e:Builtin.
log:dtlit a e:Builtin.
log:equalTo a e:Builtin.
log:forAllIn a e:Builtin.
log:hasPrefix a e:Builtin.
log:ifThenElseIn a e:Builtin.
log:implies a e:Builtin.
log:includes a e:Builtin.
log:includesNotBind a e:Builtin.
log:inferences a e:Builtin.
log:isBuiltin a e:Builtin.
log:isImpliedBy a e:Builtin.
log:isomorphic a e:Builtin.
log:langlit a e:Builtin.
log:localN3String a e:Builtin.
log:localName a e:Builtin.
log:n3String a e:Builtin.
log:namespace a e:Builtin.
log:notEqualTo a e:Builtin.
log:notIncludes a e:Builtin.
log:notIsomorphic a e:Builtin.
log:onNegativeSurface a e:Builtin.
log:outputString a e:Builtin.
log:parsedAsN3 a e:Builtin.
log:phrase a e:Builtin.
log:prefix a e:Builtin.
log:query a e:Builtin.
log:racine a e:Builtin.
log:rawType a e:Builtin.
log:repeat a e:Builtin.
log:satisfiable a e:Builtin.
log:semantics a e:Builtin.
log:semanticsOrError a e:Builtin.
log:shell a e:Builtin.
log:skolem a e:Builtin.
log:term a e:Builtin.
log:trace a e:Builtin.
log:uri a e:Builtin.
log:uuid a e:Builtin.
log:version a e:Builtin.

### Math Built-ins

math:absoluteValue a e:Builtin.
math:acos a e:Builtin.
math:acosh a e:Builtin.
math:asin a e:Builtin.
math:asinh a e:Builtin.
math:atan a e:Builtin.
math:atan2 a e:Builtin.
math:atanh a e:Builtin.
math:ceiling a e:Builtin.
math:cos a e:Builtin.
math:cosh a e:Builtin.
math:degrees a e:Builtin.
math:difference a e:Builtin.
math:equalTo a e:Builtin.
math:exponentiation a e:Builtin.
math:floor a e:Builtin.
math:greaterThan a e:Builtin.
math:integerQuotient a e:Builtin.
math:lessThan a e:Builtin.
math:logarithm a e:Builtin.
math:max a e:Builtin.
math:memberCount a e:Builtin.
math:min a e:Builtin.
math:negation a e:Builtin.
math:notEqualTo a e:Builtin.
math:notGreaterThan a e:Builtin.
math:notLessThan a e:Builtin.
math:product a e:Builtin.
math:quotient a e:Builtin.
math:radians a e:Builtin.
math:remainder a e:Builtin.
math:rounded a e:Builtin.
math:roundedTo a e:Builtin.
math:sin a e:Builtin.
math:sinh a e:Builtin.
math:sum a e:Builtin.
math:tan a e:Builtin.
math:tanh a e:Builtin.

### RDF Built-ins

rdf:first a e:Builtin.
rdf:rest a e:Builtin.

### String Built-ins

string:capitalize a e:Builtin.
string:concatenation a e:Builtin.
string:contains a e:Builtin.
string:containsIgnoringCase a e:Builtin.
string:containsRoughly a e:Builtin.
string:endsWith a e:Builtin.
string:equalIgnoringCase a e:Builtin.
string:format a e:Builtin.
string:greaterThan a e:Builtin.
string:join a e:Builtin.
string:length a e:Builtin.
string:lessThan a e:Builtin.
string:lowerCase a e:Builtin.
string:matches a e:Builtin.
string:notContainsRoughly a e:Builtin.
string:notEqualIgnoringCase a e:Builtin.
string:notGreaterThan a e:Builtin.
string:notLessThan a e:Builtin.
string:notMatches a e:Builtin.
string:replace a e:Builtin.
string:replaceAll a e:Builtin.
string:scrape a e:Builtin.
string:scrapeAll a e:Builtin.
string:search a e:Builtin.
string:startsWith a e:Builtin.
string:substring a e:Builtin.
string:upperCase a e:Builtin.

### Time Built-ins

time:day a e:Builtin.
time:localTime a e:Builtin.
time:month a e:Builtin.
time:year a e:Builtin.

### RIF Built-ins

pred:literal-not-identical a e:Builtin.
pred:iri-string a e:Builtin.
pred:numeric-equal a e:Builtin.
pred:numeric-less-than a e:Builtin.
pred:numeric-greater-than a e:Builtin.
pred:numeric-not-equal a e:Builtin.
pred:numeric-less-than-or-equal a e:Builtin.
pred:numeric-greater-than-or-equal a e:Builtin.
func:not a e:Builtin.
pred:boolean-equal a e:Builtin.
pred:boolean-less-than a e:Builtin.
pred:boolean-greater-than a e:Builtin.
func:compare a e:Builtin.
func:concat a e:Builtin.
func:string-join a e:Builtin.
func:substring a e:Builtin.
func:string-length a e:Builtin.
func:upper-case a e:Builtin.
func:lower-case a e:Builtin.
func:encode-for-uri a e:Builtin.
func:substring-before a e:Builtin.
func:substring-after a e:Builtin.
pred:contains a e:Builtin.
pred:starts-with a e:Builtin.
pred:ends-with a e:Builtin.
pred:matches a e:Builtin.
func:year-from-dateTime a e:Builtin.
func:month-from-dateTime a e:Builtin.
func:day-from-dateTime a e:Builtin.
func:hours-from-dateTime a e:Builtin.
func:minutes-from-dateTime a e:Builtin.
func:seconds-from-dateTime a e:Builtin.
func:year-from-date a e:Builtin.
func:month-from-date a e:Builtin.
func:day-from-date a e:Builtin.
func:hours-from-time a e:Builtin.
func:minutes-from-time a e:Builtin.
func:seconds-from-time a e:Builtin.
func:years-from-duration a e:Builtin.
func:months-from-duration a e:Builtin.
func:days-from-duration a e:Builtin.
func:hours-from-duration a e:Builtin.
func:minutes-from-duration a e:Builtin.
func:seconds-from-duration a e:Builtin.
func:timezone-from-dateTime a e:Builtin.
func:timezone-from-date a e:Builtin.
func:timezone-from-time a e:Builtin.
func:subtract-dateTimes a e:Builtin.
func:subtract-dates a e:Builtin.
func:subtract-times a e:Builtin.
func:add-yearMonthDurations a e:Builtin.
func:subtract-yearMonthDurations a e:Builtin.
func:multiply-yearMonthDuration a e:Builtin.
func:divide-yearMonthDuration a e:Builtin.
func:divide-yearMonthDuration-by-yearMonthDuration a e:Builtin.
func:add-dayTimeDurations a e:Builtin.
func:subtract-dayTimeDurations a e:Builtin.
func:multiply-dayTimeDuration a e:Builtin.
func:divide-dayTimeDuration a e:Builtin.
func:divide-dayTimeDuration-by-dayTimeDuration a e:Builtin.
func:add-yearMonthDuration-to-dateTime a e:Builtin.
func:add-yearMonthDuration-to-date a e:Builtin.
func:add-dayTimeDuration-to-dateTime a e:Builtin.
func:add-duration-to-dateTime a e:Builtin.
func:add-dayTimeDuration-to-date a e:Builtin.
func:add-dayTimeDuration-to-time a e:Builtin.
func:subtract-yearMonthDuration-from-dateTime a e:Builtin.
func:subtract-yearMonthDuration-from-date a e:Builtin.
func:subtract-dayTimeDuration-from-dateTime a e:Builtin.
func:subtract-dayTimeDuration-from-date a e:Builtin.
func:subtract-dayTimeDuration-from-time a e:Builtin.
pred:dateTime-equal a e:Builtin.
pred:dateTime-less-than a e:Builtin.
pred:dateTime-greater-than a e:Builtin.
pred:date-equal a e:Builtin.
pred:date-less-than a e:Builtin.
pred:date-greater-than a e:Builtin.
pred:time-equal a e:Builtin.
pred:time-less-than a e:Builtin.
pred:time-greater-than a e:Builtin.
pred:duration-equal a e:Builtin.
pred:dayTimeDuration-less-than a e:Builtin.
pred:dayTimeDuration-greater-than a e:Builtin.
pred:yearMonthDuration-less-than a e:Builtin.
pred:yearMonthDuration-greater-than a e:Builtin.
pred:dateTime-not-equal a e:Builtin.
pred:dateTime-less-than-or-equal a e:Builtin.
pred:dateTime-greater-than-or-equal a e:Builtin.
pred:date-not-equal a e:Builtin.
pred:date-less-than-or-equal a e:Builtin.
pred:date-greater-than-or-equal a e:Builtin.
pred:time-not-equal a e:Builtin.
pred:time-less-than-or-equal a e:Builtin.
pred:time-greater-than-or-equal a e:Builtin.
pred:duration-not-equal a e:Builtin.
pred:dayTimeDuration-less-than-or-equal a e:Builtin.
pred:dayTimeDuration-greater-than-or-equal a e:Builtin.
pred:yearMonthDuration-less-than-or-equal a e:Builtin.
pred:yearMonthDuration-greater-than-or-equal a e:Builtin.
func:PlainLiteral-from-string-lang a e:Builtin.
func:string-from-PlainLiteral a e:Builtin.
func:lang-from-PlainLiteral a e:Builtin.
func:PlainLiteral-compare a e:Builtin.
func:PlainLiteral-length a e:Builtin.
pred:matches-language-range a e:Builtin.
pred:is-list a e:Builtin.
pred:list-contains a e:Builtin.
func:make-list a e:Builtin.
func:count a e:Builtin.
func:get a e:Builtin.
func:sublist a e:Builtin.
func:append a e:Builtin.
func:concatenate a e:Builtin.
func:insert-before a e:Builtin.
func:remove a e:Builtin.
func:reverse a e:Builtin.
func:index-of a e:Builtin.
func:union a e:Builtin.
func:distinct-values a e:Builtin.
func:intersect a e:Builtin.
func:except a e:Builtin.