, , . , , . CLAUSES.
, , , . . , . , :
- ;
- , , , ;
- , .
, "".
GOAL . , - ( ). - , , . , , .
, , , . .
, , .
. , . Alt+E ( Editor), . , .
DOMAINS /* */
s=string /* */
PREDICATES /* */
mother(s,s) /* */
grandmother(s,s) /* */
CLAUSES /* */
mother("",""). /* "" "" */
mother("",""). /* "" "" */
grandmother(X,Y):- /* X Y, Z, */
mother(X,Z), /* X Z, */
mother(Z,Y). /* Z Y */
Alt+R (Run). , ("GOAL:"). , . F8.
|
|
. , .
-
, , . 12, () , , ().
readln .
readint .
readreal readint , , .
readchar. inkey, , readchar, . , readchar , , inkey . , , keypressed, .
readterm . : , , . , , .
write. . , writef, .
( ) nl, .
.
upper_lower . ( ), , (), . , . , , , - ( ), , (), . , , , . , , . , , , (), , , . .
str_int, str_real. . .
str_char .
- char_int. ASCII- .