str_char (, ) (string, char): (i, i) (i, o) (o, i)
(i, o) str_char (A, X) X=A
(o, i) str_char (X, A) X=A
(i, i) str_char (A, A) True
str_int (, ) (string, real): (i, o) (o, i) (i, i)
(i, o) str_int (345, X) X=345
(o, i) str_int (X, 345) X=345
(i, i) str_int (45, 45) True
str_int (, ) (string, integer): (i, o) (o, i) (i, i)
( ASCII)
char_int (, ) (char, integer): (i, o) (o, i) (i, i)
, , . , .
, . , :
fruct (apple)
fruct (peach)
fruct (orange)
fruct (pear)
, :
[fruct (apple), fruct (peach), fruct (orange), fruct (pear)],
, , , . fronttoken.
20
upper_lower (1, 2) (string, string): (i, i) (i, o) (o, i)
(i, i) upper_lower (B, b) True
(i, o) upper_lower (ABC, X) X=abc
(o, i) upper_lower (X, abc) X=ABC
str_char (, ) (string, char): (i, i) (i, o) (o, i)
(i, o) str_char (A, X) X=A
(o, i) str_char (X, A) X=A
(i, i) str_char (A, A) True
str_int (, ) (string, real): (i, o) (o, i) (i, i)
(i, o) str_int (345, X) X=345
(o, i) str_int (X, 345) X=345
(i, i) str_int (45, 45) True
str_int (, ) (string, integer): (i, o) (o, i) (i, i)
( ASCII)
char_int (, ) (char, integer): (i, o) (o, i) (i, i)
,
, . : .
predicates
conv_real_int (real, integer)
clauses
conv_real_int (R, N):- R=N.