(backtracking) Ò. , . ( ) . , .
Visual Prolog . . . .
, (, ), (), (),(). , , .
Visual Prolog .
:
1. (Project | New Project) :
DOMAINS
, =string
PREDICATES
(, )
().
().
().
_()
CLAUSES
(sasha, antalia).
(anna, sochi).
(dima, urmala).
(oleg, kiev).
(kiev).
(sochi).
(urmala).
_(X):-
(X,Y),
(Y).
GOAL
_(X),
write(X),nl.
3. (Project | Save Project)
4. (Project | Run, <F9>, <R>). :
anna
5. (Debugger). :
) (Project | Debug);
) View | Local Variables ( );
) <F7> ( Run | Trace Into) , Variables For Current Clause
.9.
:
|
.10.
