C94-1077 flexible inference method for Horn logic program is proposed . It is also a drastic
hide detail