# n3 # # Find unclassified income if argv(1) # @prefix rdf: . @prefix log: . @prefix string: . @prefix math: . @prefix q: . @prefix os: . @prefix tax: . #@@ # @prefix : <#>. @prefix foo: <#>. @forAll :d, :p, :s, :t, :x, :y, :z. "00" log:outputString """ Personal financial report """. # { :t is os:argv of "1" } log:implies { "0" log:outputString :s } { [] q:payee :p; q:amount :x; q:date :d. ( "\n") string:concatenation :s } log:implies { :d log:outputString :s }. "99" log:outputString """
DateDetails ("payee")Amount
" :d "" :p "" :x "
""". #ends