How to get int from float in picat?

Question

I try to to read a line as string from console (stdin) in picat and get its half:

main =>
  L = read_line(),
  B = L.length/2,
  S = L.slice(1,B),
  println(S).

crashes with error(integer_expected(2.0),slice)

when int used instead of B - no crash. So how to turn B into integer?

score 2 · Answer 1 · answered Jun 28 '17 at 08:09

2

you could use built-in function such as floor, round or ceiling from math module (more functions here). So you could modify your code like this:

main =>
    L = read_line(),
    B = round(L.length/2),
    S = L.slice(1,B),
    println(S).

answered Jun 28 '17 at 08:09

Mark

399
4
12

score 0 · Answer 2 · answered Mar 28 '15 at 18:18

0

Try either using integer(..) function to convert L.length/2 to integer or use to_integer() function....should do it for you.

answered Mar 28 '15 at 18:18

ha9u63a7

6,233
16
73
108

score 0 · Answer 3 · answered Jul 30 '15 at 07:25

type inference plays an essential role in functional evaluation. (/ /2) it's a floating point arithmetic operator, but slice/2 expects an integer. So you should instead use (// /2).

Picat> L=read_line(),println(L.slice(1,L.length//2)).
123456789
1234
L = ['1','2','3','4','5','6','7','8','9']
yes

How to get int from float in picat?

3 Answers3