math_flowc.txt

$ cwm http://josd.github.io/eye/reasoning/bi/math_flowc.n3 --think --data
#Processed by Id
        #    using base http://josd.github.io/eye/reasoning/bi/math_flowc.n3
             @prefix : <http://eulersharp.sourceforge.net/2007/07test#> .

    :ANSWER1     :IS 42 .

    :ANSWER2     :IS 42 .

    :ANSWER5     :IS 42 .

    :ANSWER6     :IS 42 .

    :ANSWER7     :IS 42 .

    :test1     :result 4 .

    :test3     :result 2 .

    :test5     :result 0 .

    :test7     :result 1.0e+00 .


$ eye --nope http://josd.github.io/eye/reasoning/bi/math_flowc.n3 --pass
eye --nope http://josd.github.io/eye/reasoning/bi/math_flowc.n3 --pass
EYE v20.0922.2212 josd
SWI-Prolog version 8.3.7-16-g13001415d
starting 46 [msec cputime] 66 [msec walltime]
#Processed by EYE v20.0922.2212 josd
#eye --nope http://josd.github.io/eye/reasoning/bi/math_flowc.n3 --pass

GET http://josd.github.io/eye/reasoning/bi/math_flowc.n3 SC=16
networking 0 [msec cputime] 275 [msec walltime]
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix : <http://eulersharp.sourceforge.net/2007/07test#>.

:test1 :result 4 .
:test2 :result 4 .
:test3 :result 2 .
:test4 :result 1.25 .
:test5 :result 0 .
:test6 :result -6 .
:test7 :result 1 .
:test8 :result 0.4 .
:ANSWER1 :IS 42 .
:ANSWER2 :IS 42 .
:ANSWER3 :IS 2 .
:ANSWER4 :IS 2 .
:ANSWER5 :IS 42 .
:ANSWER6 :IS 42 .
:ANSWER7 :IS 42 .
:ANSWER8 :IS 38 .

reasoning 0 [msec cputime] 3 [msec walltime]
#2020-09-22T22:19:01.514Z in=16 out=16 ent=16 step=32 brake=2 inf=41807 sec=0.046 inf/sec=908848
#ENDS

2020-09-22T22:19:01.514Z in=16 out=16 ent=16 step=32 brake=2 inf=41807 sec=0.046 inf/sec=908848