flex Expert System Toolkit - LPIS

9. Flex Predicates 131
yes
?- inclusion( [a,b,c,d], [c,e,c] ).
no
?- inclusion( [a,b,c], X ).
X = a
X = b
X = c
inherit( +Attribute,+Frame,-Value )
This procedure will search the frame hierarchy starting at the parents of
Frame. The search will terminate when an ancestor of Frame can be found
which has a current or default Value for the Attribute.
inherit/3 is the inheritance part of the lookup/3 procedure.
Examples
?- inherit( habitat, moby_dick, V ).
V = ocean
?- inherit( predator, moby_dick, V ).
no
inherit( +Attribute,+Frame,-Value,-Ancestor )
inheritance
The inherit/4 procedure behaves as the inherit/3 procedure except
that an additional piece of information, Ancestor, is returned. This
indicates where exactly in the frame hierarchy the Value came from.
Example
?- inherit( habitat, moby_dick, V, A ).
V = ocean, A = moby_dick
Return to the default inheritance settings of
Search = depth_first
Root = root_last
Plurality = singular
Effort = 9
(See inheritance/4 below for a description of these parameters).
inheritance( ?Search,?Root,?Plurality,?Effort )
The inheritance/4 procedure allows for the inspection and/or alteration
of certain characteristics of the inheritance algorithm. These characteristics
flex toolkit