Съпоставяне на семантични мрежи
parent(X,X).
parent(X,Z) :-
isa(X,Y),
parent(Y,Z).
Previous slide
Back to first slide
View graphic version