Съпоставяне на семантични мрежи
match_isa([],[]).
match_isa([isa(X,P)|T],[isa(X,Q)|V]) :-
parent(P,Q),
match_isa(T,V).
Previous slide
Next slide
Back to first slide
View graphic version