% Cуществует ли связь между X и Y ?
domains
city=string
% Описание предикатов
predicates
dconnect(city,city)
connect(city,city)
wopros
% База знаний
clauses
% Факты, описываюшие дерево
dconnect (a,b). dconnect (a,c). dconnect (b,d). dconnect (b,e).
dconnect (c,f). dconnect (c,q). dconnect (f,h). dconnect (f,i).
% Правила вывода
connect(X,Y) if dconnect(X,Y).
connect(X,Y) if dconnect(X,Z), dconnect(Z,Y).
wopros:-
write(" Bведите от- "), readln(X),
write(" Bведите до- "), readln(Y), connect(X,Y),nl,
write (" от ",X," до ",Y," есть связь "),
nl,!.
wopros:- write(" НЕТ РЕШЕНИЙ! ").
% Внутренняя цель
goal
makewindow(1,120,7," ответ ",16,0,8,60),
wopros.
|
