Съпоставяне на семантични мрежи
% Sample runs
?- match([X,Y,Z],
[isa(X,rectangle),isa(Y,rectangle),isa(Z,triangle)],
[support(X,Z),support(Y,Z)],
Name).
Name=arch
?- test1(Parts,Isa,Rels),match(Parts,Isa,Rels,Name).
Name=arch
Previous slide
Next slide
Back to first slide
View graphic version