. 1972 . , . Visual Prolog , .
. , . .
, . () . ( ), , , . , .
, . .
1. ( 1)
: , , , . , , , . , :
(A);
, (B);
(C);
, , (D);
(E).
?
. . . ( 2)
1.
: , , , . | (). (). (). (). (). |
, , , | (, ). (, ). (, ). (, ). (, ). |
n
|
|
(objects) (relations), (rules), . (clauses), : .
. , . , .
: , , , , , , , . . .
. , , . . , . , . , .
(, ).
(, ).
:
().
().
. , , , . . . , , .
( 3)
: - , : .
, , .
, , , .
. () - , ( - ).
, , :
ü , ;
ü , ;
ü .
2.
B 1 , :
.
, , 1 , , .
:
(,,):-
(,), (), .
_(X1,Y1,Z1,X2,Y2,Z2):-
(X1,Y1,Z1), (X2,Y2,Z2),
Y1=, Y2=, Z1=Z2.
_(X1,Y1,Z1,X2,Y2,Z2):-
(X1,Y1,Z1), (X2,Y2,Z2),
|
|
Y1=, Y2=, Z1=Z2.
2 :
(,,); _(X1,Y1,Z1,X2,Y2,Z2).
:
(,), (),
, , , .
n
()
, . (query) . , , , .
() . , . . . ,;.
, :
ü A B (), :
ü A, B (), .
3. ( 4)
- ().
- ().
- (,).
, . . , 1, , . , () . , , , , . , , :
= .
= .
2 Solutions. n
. , . ( ). . , . .
, . .
, . , .
4. ( 5)
:
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
(,), (,).
, . Person , : (,).
, Person , , (,) Person . , : (,). , , :
=
1 Solutions.
:
(, ).
(, ).
, , ( = ), Person, , , , ( = ). n
|
|
, , , . .
5. ( 6)
:
(, ).
(, ).
(, ).
(, ).
(, ).
(,_).
:
=
=
=
=
=
5 Solutions. n
. , :
(_,). (_).
:
. .
4. ( 7)
/* */. %.
5. ( 8)
ü DOMAINS ();
ü PREDICATES ();
ü CLAUSES();
ü GOAL ().
, . , GOAL :- Visual Prolog .
. ( , ) . , , .
. , ( Visual Prolog) . () .
:
1) , , . 250 . , , -, * ..;
2) () , .
, . , .
. () , , domains.
,
(, )
color(symbol)
_(integer, symbol)
. .
,
(, )
DOMAINS
, = symbol
, ( 9):
DOMAINS
, = symbol
= integer
PREDICATES
(, , )
(X, Y):- (X, Pol, Let), (Pol, Y, Let).
Pol . : , .
2.
short | , , | -32 768.. 32 767 |
ushort | , , | 0.. 65 535 |
long | , , | -2 ... 2 . |
ulong | , , | 0.. 4 . |
integer | , | -32 768.. 32 767 -2 ... 2 . |
unsigned | , | 0.. 65 535 0.. 4 . |
byte | 0.. 255 | |
word | 0.. 65 535 | |
dword | 0.. 4 . | |
char | , | |
real | ( double C) : 10-307.. 10308 | |
string | 1) , 2) , , | |
symbol | , string |
|
|
( ). . -, .
, , , . , . , . , , , .
, , ( ) , . , . , . , , .
() , , . . , , Visual Prolog , . , . .
, , , , .
( 10), f(X, 2) f(1, Y), X, Y - , : X=1, Y=2. f(X) .
.
6. ( 11)
:
().
().
().
().
().
(, ).
(, ).
(, ).
(, ).
(, ).
GOAL
().
, , . Visual Prolog . . , yes .
GOAL
(c).
, , no .
GOAL
(, ).
, . , , . =, , . , . Visual Prolog : = . = , 3 Solutions . n
|
|
- . , . . . , ( ) , , ( ) , . ( ), Visual Prolog .
. , .
, , . , . , . , , , .