.
, 3 :
1. , ;
2. , ;
3. , .
:
- (, , ),
- , ( ). , (goal),
- .
, . .
. 2- : , , ; , .
6 :
char | a, C, % | ||
integer | -3267832767 | -153, 125 | |
real | -1E-3071E308 | 2.48 | |
string | Sony, 256 | ||
symbol | real_data, Delete string | ||
file | a.txt |
. , . , . , (free), . , .
,
, . . () ,. .
data_rogd (5, mart, 1980)
. .
data_rogd (D, mart, 1980)
line (point (1, 1), point (3, 4))
. , , .
, .
:
/* */ %
domains
< >
predicates
< >
goal
< >
clauses
< ()>
. 2 4. 2 global domains, global predicates.
|
|
, . database . predicates. domains, predicates, clauses. :
;
, goal;
clauses, ;
, ;
, .