Re: Trying to setup a hierarchy of classes of things (SWI prolog)



By the way, this sounds similar to a transitive closure type of
problem. Some expert can comment on whether it is or isn't, but if it
is perhaps you can look this type of problem up.

.