Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- user@DebLab:~/2000/10/swap$ cat test.n3
- @prefix log: <http://www.w3.org/2000/10/swap/log#>.
- @prefix math: <http://www.w3.org/2000/10/swap/math#>.
- 1 log:outputString 1.
- {?x log:outputString ?x. (1 ?x) math:sum ?y. ?y math:lessThan 11 } => {?y log:outputString ?y }.
- user@DebLab:~/2000/10/swap$ python cwm.py test.n3 --think
- #Processed by Id: cwm.py,v 1.198 2012-01-30 09:30:20 timbl Exp
- # using base file:///home/user/2000/10/swap/test.n3
- @prefix : <http://www.w3.org/2000/10/swap/log#> .
- @prefix math: <http://www.w3.org/2000/10/swap/math#> .
- @prefix test: <#> .
- @forAll test:x,
- test:y .
- 1 :outputString 1 .
- 10 :outputString 10 .
- 2 :outputString 2 .
- 3 :outputString 3 .
- 4 :outputString 4 .
- 5 :outputString 5 .
- 6 :outputString 6 .
- 7 :outputString 7 .
- 8 :outputString 8 .
- 9 :outputString 9 .
- {
- ( 1
- test:x )
- math:sum test:y .
- test:x :outputString test:x .
- test:y math:lessThan 11 .
- } => {test:y :outputString test:y .
- } .
- user@DebLab:~/2000/10/swap$
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement