1. Visual Prolog. ( ) (File|New) (.2)
, : PREDICATES ( ), CLAUSES ( ) GOAL ().
.2.
DOMAINS
=string
PREDICATES
nondeterm (, )
CLAUSES
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
GOAL
(, ).
Project | Test Goal ( <G> <Ctrl>+<G>).
3.
: .
2. : , , :
GOAL
(, ).
(Project | Test Goal) :
no
3. : , :
GOAL
(, X).
:
X=
1 Solution
4. : , :
GOAL
(X, ), (Y, ), X<>Y.
:
X=, Y=
X=, Y=
2 Solutions
5. , :
GOAL
(X, Y).
:
X=, Y=
X=, Y=
X=, Y=
X=, Y=
X=, Y=
X=, Y=
X=, Y=
7 Solutions
2
: (, ) ().
) , .
:
DOMAINS
=string
PREDICATES
(, )
()
(,)
CLAUSES
("","").
("", "").
("","").
("","").
("","").
("", "").
("").
("").
("").
("").
("").
("").
(" ").
("").
(X,Y):-(X,Y),(X).
GOAL
(X,"").
:
X=
1 Solution
b) , .
:
DOMAINS
=string
PREDICATES
nondeterm (,)
()
nondeterm (,)
nondeterm (,)
CLAUSES
("","").
("", "").
("","").
|
|
("","").
("","").
("", "").
("").
("").
("").
("").
("").
("").
(" ").
("").
(X,Y):-(X,Y),(X).
(X,Z):-(X,Y),(Y,Z).
GOAL
(X,"").
:
X=
1 Solution
: nondeterm , . , , .
c) , .
:
DOMAINS
=string
PREDICATES
nondeterm (,)
()
nondeterm (,)
nondeterm (,)
nondeterm (,)
CLAUSES
("","").
("", "").
("","").
("","").
("","").
("", "").
("").
("").
("").
("").
("").
("").
(" ").
("").
(X,Y):-(X,Y),(X).
(X,Z):-(X,Y),(Y,Z).
(X,Y):-(Y,X),(X).
GOAL
(X, "").
:
X=
X=
2 Solutions
1. , :
(A, ).
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
, :
a) , ;
b) , ;
c) ;
d) , .
2. , :
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
, :
a) ;
b) , ;
c) , ;
d) , .
3. , :
(A, ).
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
().
().
().
().
a) , _ () , ;
b) , _ () , ;
|
|
c) , _ () , , .
4. , :
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
(, ).
().
().
().
().
().
a) , _() , ;
b) , _() , ;
c) , _(,Y), (+). .
:
1) ;
2) ;
3) ;
4) .