Using active connection graphs for reasoning with recursive rules
Donald P. MoKay, Stuart C. Shapiro · 1981
Raouralva r u l e s, such as "Your paren ts ' ancestors are your ances tors " , a l though vary uaafu l f o r theorem p rov ing, na tu ra l languaga understanding, quest ion-answering and In fo rmat ion r e t r i e v a l systems, present problems f o r many such