Rule Support in Prolog. - Oded Shmueli; Shalom Tsur; Hana Zfira (Expert Database Workshop, 1984)