]> http://example.org/example#factorial 0 1 N F N1 F1 http://www.w3.org/2007/rif-builtin-predicate#numeric-greater-than N 0 N1 http://www.w3.org/2007/rif-builtin-function#numeric-subtract N 1 http://example.org/example#factorial N1 F1 F http://www.w3.org/2007/rif-builtin-function#numeric-multiply N F1 http://example.org/example#factorial N F