.


:




:

































 

 

 

 





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.





:


: 2015-10-01; !; : 585 |


:

:

- , - .
==> ...

1603 - | 1527 -


© 2015-2024 lektsii.org - -

: 0.008 .