Math operations and some grounded atoms #304
Description
This format is referred from @ngeiswei
What is your problem?
Some math operations , builtin randoms and grounded operations like >= doesn't work as expected in mettalog.
log-mathdoesn't work in mettalog.round-mathoperator doesn't work.trunc-mathoperator doesn't work.ceil-mathoperator doesn't work.isinf-mathandisnan-mathoperator doesn't work.random-floatoperator doesn't work.new-random-generatoroperator doesn't work. This was already issued at Upgrade random-int to be compatible with HE #259 (comment).set-random-seedoperator doesn't work.reset-random-generatoroperator doesn't work .>=doesn't work in mettalog. It was implemented as=>which seems like implies.
How to reproduce your problem?
Try to run the following codes it won't work in mettalog repl.
!(log-math 10 100)
!(round-math 4.9)
!(ceil-math 4.1)
!(trunc-math 7.9)
!(isinf-math 0.0)
!(set-random-seed &rng 0)
!(isnan-math 0.0)
! (new-random-generator 0)
!(reset-random-generator (new-random-generator 0))
! (random-float &rng 2 9) ;; won't be evaluated
! (>= 4 3) ;; this won't work
!(=> 4 3) ;; this will work
What should normally be expected?
[2.0]
[5]
[5]
[7]
[False]
[()]
[False]
[&rng_1]
[&rng_2]
A different float result in the range `[2, 9)` on each call.
[True]
What do you get instead?
Most of the show errors like the below and some of them won't be evaluated.
