[eclipse-clp-users] Read integer from user (without a dot)

From: Sergey Dymchenko <kit1980_at_...6...>
Date: Wed, 21 Sep 2011 20:22:21 +0300
Sorry for probably stupid question, but I can't find an answer.

How to read an integer from user?
read(N) requires user to end input with dot,
read_line(N) returns a string, not an integer...

Sergey.
Received on Wed Sep 21 2011 - 17:22:27 CEST

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST